{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T00:39:19Z","timestamp":1790987959394,"version":"4.1.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/icsm.2010.5609565","type":"proceedings-article","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T22:01:44Z","timestamp":1288994504000},"page":"1-10","source":"Crossref","is-referenced-by-count":45,"title":["Guided test generation for coverage criteria"],"prefix":"10.1109","author":[{"given":"Rahul","family":"Pandita","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nikolai","family":"Tillmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathan","family":"de Halleux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1081706.1081750","article-title":"CUTE: A concolic unit testing engine for C","author":"sen","year":"2005","journal-title":"Proc ESEC\/FSE"},{"key":"22","first-page":"134","article-title":"Pex-white box test generation for .NET","author":"tillmann","year":"2008","journal-title":"Proc TAP"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/32.286422"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270315"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2004.12"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/196092.193171"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"11","first-page":"191","article-title":"Experiments of the effectiveness of dataflow-and controlflow-based test adequacy criteria","author":"hutchins","year":"1994","journal-title":"Proc ICSE"},{"key":"12","year":"0","journal-title":"Java 2 CSharp Translator for Eclipse"},{"key":"21","year":"0","journal-title":"Traffic Collision Avoidance System"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570123"},{"key":"20","year":"2010"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553583"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2003.1251034"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199903)9:1<3::AID-STVR169>3.0.CO;2-Z"},{"key":"7","year":"2009","journal-title":"Common Compiler Infrastructure"},{"key":"6","year":"0"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1996.536464"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"}],"event":{"name":"2010 IEEE 26th International Conference on Software Maintenance (ICSM)","location":"Timi oara, Romania","start":{"date-parts":[[2010,9,12]]},"end":{"date-parts":[[2010,9,18]]}},"container-title":["2010 IEEE International Conference on Software Maintenance"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5604771\/5609528\/05609565.pdf?arnumber=5609565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T15:49:10Z","timestamp":1497887350000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5609565\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icsm.2010.5609565","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}