{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:18:27Z","timestamp":1729678707475,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/iwast.2013.6595787","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T15:56:19Z","timestamp":1379606179000},"page":"26-32","source":"Crossref","is-referenced-by-count":4,"title":["ParTes: A test generation strategy for choreography participants"],"prefix":"10.1109","author":[{"given":"Francesco","family":"De Angelis","sequence":"first","affiliation":[]},{"given":"Daniele","family":"Fani","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"535","article-title":"An alternative way to analyze workflow graphs","author":"aalst","year":"2002","journal-title":"Proc of the 14th Int Conf on Advanced Information Systems Engineering Ser CAiSE '02"},{"year":"0","key":"2"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1016\/S0306-4379(00)00012-0"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/ICST.2010.27"},{"year":"2012","author":"bozkurt","journal-title":"Testing and Verification in Service-oriented Architecture A Survey","key":"6"},{"key":"5","first-page":"100","article-title":"The refined process structure tree","author":"vanhatalo","year":"2008","journal-title":"Proc of the 6th International Conference on Business Process Management Ser BPM '08"},{"key":"4","first-page":"43","article-title":"Faster and more focused control-flow analysis for business process models through sese decomposition","author":"vanhatalo","year":"2007","journal-title":"Proceedings of the 5th International Conference on Service-oriented Computing ser ICSOC '07"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1145\/1595696.1595720"},{"key":"8","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/978-3-540-89652-4_11","article-title":"Automatic workflow graph refactoring and completion","volume":"5364","author":"vanhatalo","year":"2008","journal-title":"Service-Oriented Computing ICSOC 2008 Ser LNCS"}],"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\/06595787.pdf?arnumber=6595787","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\/6595787\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/iwast.2013.6595787","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}