{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:03:02Z","timestamp":1750266182031},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/wse.2008.4655394","type":"proceedings-article","created":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T19:26:25Z","timestamp":1224703585000},"page":"41-44","source":"Crossref","is-referenced-by-count":11,"title":["A model driven approach toward business process test case generation"],"prefix":"10.1109","author":[{"family":"Qiulu Yuan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Ji Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Chao Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Li Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"756","article-title":"A CP-net-based Design and Verification Framework for Web Services Composition","author":"yi","year":"2004","journal-title":"Proceedings of IEEE International Conference on Web Services"},{"key":"ref3","first-page":"46","article-title":"Model-checking Verification for Reliable Web Services","author":"nakajima","year":"2002","journal-title":"Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications"},{"key":"ref6","article-title":"OWL-S Based Test Case Generation","author":"xiaoyan","year":"2008","journal-title":"Journal of Beijing University of Aeronautics and Astronautics"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IITA.2007.83"},{"key":"ref7","article-title":"Program Interactive Execution Flow Chart and Its Coverage Test Criteria","author":"chao","year":"1998","journal-title":"Journal of Software"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2006.11"},{"key":"ref1","first-page":"83","article-title":"Generating test cases specifications for BPEL compositions of web services using SPIN","author":"garc\u00eda-fanjul","year":"2006","journal-title":"in Proc of Intl Workshop on Web Services Modeling and Testing"}],"event":{"name":"2008 10th International Symposium on Web Site Evolution (WSE)","start":{"date-parts":[[2008,10,3]]},"location":"Beijing","end":{"date-parts":[[2008,10,4]]}},"container-title":["2008 10th International Symposium on Web Site Evolution"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4641878\/4655382\/04655394.pdf?arnumber=4655394","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T17:27:30Z","timestamp":1489685250000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4655394\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/wse.2008.4655394","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}