{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T10:24:57Z","timestamp":1760783097186},"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.4655393","type":"proceedings-article","created":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T19:26:25Z","timestamp":1224703585000},"page":"37-40","source":"Crossref","is-referenced-by-count":14,"title":["Mining candidate web services from legacy code"],"prefix":"10.1109","author":[{"given":"Lerina","family":"Aversano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Cerulo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ciro","family":"Palumbo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/CW.2002.1180904"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/TAIC-PART.2006.11"},{"key":"1","first-page":"83","article-title":"generating test cases specifications for bpel compositions of web services using spin","author":"garci?a-fanjul","year":"2006","journal-title":"International Workshop on Web ServicesModeling and Testing"},{"key":"7","article-title":"program interactive execution flow chart and its coverage test criteria","author":"chao","year":"1998","journal-title":"Journal of Software"},{"year":"0","key":"6"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/IITA.2007.83"},{"key":"4","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"}],"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\/04655393.pdf?arnumber=4655393","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\/4655393\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/wse.2008.4655393","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}