{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:44:30Z","timestamp":1732034670288,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/iwast.2013.6595788","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T15:56:19Z","timestamp":1379606179000},"page":"33-39","source":"Crossref","is-referenced-by-count":7,"title":["Functional SOA testing based on constraints"],"prefix":"10.1109","author":[{"given":"Seema","family":"Jehan","sequence":"first","affiliation":[]},{"given":"Ingo","family":"Pill","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2009.5069049"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.073"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197331"},{"key":"36","first-page":"517","article-title":"Contract-based testing for web services","volume":"1","author":"dai","year":"2007","journal-title":"31st Annual Int Computer Software and Applications Conference"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1002\/spip.302"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/CINC.2009.229"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1142"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"year":"0","key":"16"},{"year":"0","key":"39"},{"journal-title":"Bpel Unit","year":"2006","author":"l?ubke","key":"13"},{"year":"0","key":"14"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1145718.1145723"},{"year":"0","key":"11"},{"year":"0","key":"38"},{"key":"12","first-page":"98","article-title":"Minion: A fast scalable constraint solver","author":"gent","year":"2006","journal-title":"Proceedings of ECAI 2006"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271790"},{"key":"20","first-page":"78","article-title":"Software engineering","author":"canfora","year":"2009","journal-title":"Ch Service-Oriented Architectures Testing A Survey"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2009.72"},{"key":"22","first-page":"16","article-title":"A formal framework for service orchestration testing based on symbolic transition systems","author":"bentakouk","year":"2009","journal-title":"Proc of the 21st IFIP WG 6 1 Int Conf on Testing of Software and Communication Systems and 9th Int FATES Workshop"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89652-4_45"},{"journal-title":"Testing Web Services A Survey","year":"2010","author":"mustafa bozkurt","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2006.261270"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.16"},{"journal-title":"Generating Test Cases Specifications for Bpel Compositions of Web Services Using Spin","year":"2006","author":"garcia-fanjul","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2007.8"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2008.113"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1145718.1145720"},{"year":"0","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843008001816"},{"key":"30","article-title":"An automatic test case generation framework for web services","volume":"2","author":"yongyan","year":"2007","journal-title":"Journal of Software"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm096"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2008.11.003"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/1096967.1096977"},{"key":"5","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","article-title":"Controllability and observability in distributed testing","volume":"41","author":"cacciari","year":"1999","journal-title":"Information & Software Technology"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.03.002"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2006.51"},{"key":"9","article-title":"Soa grey box testing-A constraintbased approach","author":"jehan","year":"2013","journal-title":"5th International Workshop on Constraints in Software Testing Verification and Analysis"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.26"}],"event":{"name":"2013 8th International Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,19]]}},"container-title":["2013 8th International Workshop on Automation of Software Test (AST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588690\/6595779\/06595788.pdf?arnumber=6595788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T22:11:28Z","timestamp":1498083088000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6595788\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/iwast.2013.6595788","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}