{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T07:28:58Z","timestamp":1710401338603},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2018,7,1]],"date-time":"2018-07-01T00:00:00Z","timestamp":1530403200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61370061"],"award-info":[{"award-number":["61370061"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Beijing Municipal Training Program for Excellent Talents","award":["2012D009006000002"],"award-info":[{"award-number":["2012D009006000002"]}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["FRF-SD-12-015A"],"award-info":[{"award-number":["FRF-SD-12-015A"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Serv. Comput."],"published-print":{"date-parts":[[2018,7,1]]},"DOI":"10.1109\/tsc.2015.2466572","type":"journal-article","created":{"date-parts":[[2015,8,13]],"date-time":"2015-08-13T21:36:15Z","timestamp":1439501775000},"page":"616-629","source":"Crossref","is-referenced-by-count":13,"title":["Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach"],"prefix":"10.1109","volume":"11","author":[{"given":"Chang-ai","family":"Sun","sequence":"first","affiliation":[]},{"given":"Yan","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Lin","family":"Pan","sequence":"additional","affiliation":[]},{"given":"Huai","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Tsong Yueh","family":"Chen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"59","article-title":"A business\n process of web services testing method based on UML 2.0 activity diagram","author":"zhang","year":"0","journal-title":"Proc Workshop Intell Inf Technol Appl"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.22"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2006.11"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/32.126769"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982602"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1470"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.16"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2006.261270"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44857-1_1"},{"key":"ref34","first-page":"83","article-title":"Generating test cases specifications for BPEL compositions of web services using SPIN","author":"garcia-fanjul","year":"0","journal-title":"in Proc of Intl Workshop on Web Services Modeling and Testing"},{"key":"ref10","first-page":"160","article-title":"A tranformation-based approach to generating scenario-oriented\n test case from UML activity diagrams for concurrent applications","author":"sun","year":"0","journal-title":"Proc 32nd Annu IEEE Int Comput Sofw Appl Conf"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.46"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CSE.2009.99"},{"key":"ref12","first-page":"433","article-title":"Automated\n test case generation based on UML activity diagram model","volume":"27","author":"zhang","year":"2001","journal-title":"J Beijing Univ Aeronautics Astronautics"},{"key":"ref13","year":"2007"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"ref15","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"moura","year":"0","journal-title":"Proc Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"},{"key":"ref17","first-page":"259","article-title":"Evaluation of string constraint solvers in the context of symbolic execution","author":"kausler","year":"0","journal-title":"Proc 29th IEEE\/ACM Int Conf Automated Softw Eng"},{"key":"ref18","year":"2005"},{"key":"ref19","year":"2004"},{"key":"ref28","first-page":"1","article-title":"Mutation operators for WS-BPEL 2.0","author":"estero-botaro","year":"0","journal-title":"Proc 21th Int Conf Softw Syst Eng Their Appl"},{"key":"ref4","year":"2008"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2009.18"},{"key":"ref3","year":"2012"},{"key":"ref6","author":"sun","year":"2011","journal-title":"China Science Paper Online"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.36"},{"key":"ref5","first-page":"78","article-title":"Service-oriented architectures testing: A survey","author":"canfora","year":"0","journal-title":"Software Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2012010103"},{"key":"ref7","first-page":"1","article-title":"Generating test cases for web services using data pertubation","volume":"29","author":"offutt","year":"2004","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843008001816"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES.2012.21"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2012.47"},{"key":"ref20","article-title":"A scenario-based apporach to automatic test case generation for\n BPEL programs and its supporting tool","author":"zhao","year":"0"},{"key":"ref22","year":"2010"},{"key":"ref21","year":"0"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1528"},{"key":"ref23","year":"0"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/FTDCS.2008.24"},{"key":"ref25","article-title":"Sample application supply chain management architecture (version\n 1.01)","author":"chapman","year":"2003"}],"container-title":["IEEE Transactions on Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4629386\/8425801\/07185422.pdf?arnumber=7185422","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T13:30:19Z","timestamp":1643203819000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7185422\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,1]]},"references-count":41,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tsc.2015.2466572","relation":{},"ISSN":["1939-1374","2372-0204"],"issn-type":[{"value":"1939-1374","type":"electronic"},{"value":"2372-0204","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,1]]}}}