{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T19:33:19Z","timestamp":1648582399207},"reference-count":12,"publisher":"International Academy Publishing (IAP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.3.589-595","type":"journal-article","created":{"date-parts":[[2014,3,28]],"date-time":"2014-03-28T19:04:10Z","timestamp":1396033450000},"source":"Crossref","is-referenced-by-count":2,"title":["Test Case Generation of Web Service Composition based on CP-nets"],"prefix":"10.17706","volume":"9","author":[{"given":"Yuying","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2014,3,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.4.769-775"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/ICSEA.2006.261270","article-title":"W. \"Sun. A Graph-Search Based Approach to BPEL4WS Test Generation","volume-title":"International Conference on Software Engineering Advances (ICSEA 06)","author":"Yuan","year":"2006","unstructured":"[3] Y. Yuan, Z.J. Li, W. \"Sun. A Graph-Search Based Approach to BPEL4WS Test Generation\". International Conference on Software Engineering Advances (ICSEA'06),2006:14-20"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.126769"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(92)90093-5"},{"key":"ref5","first-page":"590","article-title":"Test-case generation for concurrent programs with the testing criteria using interaction sequences","volume-title":"Proceedings of the 6th Asian-Pacific Software Engineering Conference","author":"Katayama","year":"1999","unstructured":"[6] T. Katayama, E. Itoh, and Z. Furukawa, \"Test-case generation for concurrent programs with the testing criteria using interaction sequences\", Proceedings of the 6th Asian-Pacific Software Engineering Conference, December 1999:590-597."},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.1.19-27"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.8.1723-1731"},{"issue":"2","key":"ref8","first-page":"631","article-title":"P. CHEN. \"Models of BPEL''s flow activity based on color Petri net","volume":"28","year":"2011","unstructured":"[9] Y. WANG, P. CHEN. \"Models of BPEL''s flow activity based on color Petri net\". Application Research of Computers,2011,28(2):631-634.","journal-title":"Application Research of Computers"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.4028\/www.scientific.net\/AMM.336-338.2063"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(92)90093-5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000487"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T21:22:06Z","timestamp":1565299326000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/10697"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,1]]},"references-count":12,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2014,3,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.3.589-595","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,3,1]]}}}