{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:19:57Z","timestamp":1725675597305},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/iwast.2009.5069049","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T10:56:15Z","timestamp":1244631375000},"page":"115-122","source":"Crossref","is-referenced-by-count":9,"title":["Calculating BPEL test coverage through instrumentation"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Lubke","sequence":"first","affiliation":[]},{"given":"Leif","family":"Singer","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Salnikow","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"17","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1145\/949344.949421","article-title":"implications of test driven development: a pilot study","author":"kaufmann","year":"2003","journal-title":"OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming systems languages and applications"},{"key":"18","article-title":"lessons learned from an xp experiment with students: test-first needs more teaching","author":"flohr","year":"2006","journal-title":"Proceedings of the Profes 2006"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146242"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20020540"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1145718.1145723"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368139"},{"key":"11","article-title":"bpel4ws unit testing: framework and implementation","author":"li","year":"2005","journal-title":"Proceedings of the IEEE International Conference on Web Services (ICWS05)"},{"key":"12","first-page":"415","article-title":"bpel-unit: j unit for bpel processes","author":"li","year":"2006","journal-title":"ICSOC 2006 LNCS 4294"},{"journal-title":"Definition and Formalization of BPEL Process Test Coverage","year":"2008","author":"lu?bke","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.16"},{"journal-title":"Cobertura Project","year":"2006","key":"2"},{"key":"1","article-title":"formal semantics and analysis of control flow in wsbpel","author":"ouyang","year":"2005","journal-title":"Technical Report BPM-05-13"},{"journal-title":"eXtreme Programming Explained","year":"2000","author":"beck","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120815"},{"journal-title":"The Art of Software Testing","year":"2004","author":"myers","key":"6"},{"key":"5","article-title":"generating test cases specications for bpel compositions of web services using spin","author":"garca-fanjul","year":"2006","journal-title":"Proceedings of the International Workshop on Web Services Modeling and Testing (WS-Mate"},{"journal-title":"Web Services Business Process Execution Language Version 2 0","year":"2007","author":"jordan","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368197"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1002\/spip.302"}],"event":{"name":"2009 ICSE Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2009,5,18]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,19]]}},"container-title":["2009 ICSE Workshop on Automation of Software Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5061534\/5069024\/05069049.pdf?arnumber=5069049","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T16:53:20Z","timestamp":1497804800000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5069049\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iwast.2009.5069049","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}