{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T15:54:20Z","timestamp":1783007660611,"version":"3.54.5"},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227185","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"288-298","source":"Crossref","is-referenced-by-count":35,"title":["Leveraging test generation and specification mining for automated bug detection without false positives"],"prefix":"10.1109","author":[{"given":"Michael","family":"Pradel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas R.","family":"Gross","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.20"},{"key":"35","first-page":"77","article-title":"DyGen: Automatic generation of high-coverage tests via mining gigabytes of dynamic traces","author":"thummalapenta","year":"2010","journal-title":"TAP"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001463"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985874"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595725"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"34","first-page":"290","article-title":"Automatic extraction of object-oriented observer abstractions from unit-test executions","author":"xie","year":"2004","journal-title":"ICFEM"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453150"},{"key":"39","first-page":"40","article-title":"Tool-assisted unit test selection based on operational violations","author":"xie","year":"2003","journal-title":"ASE"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.94"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/566210.566212"},{"key":"37","first-page":"60","article-title":"Mutually enhancing test generation and specification inference","author":"xie","year":"2003","journal-title":"FATES"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081713"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831719"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806806"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390643"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.93"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_23"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240292"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"22","first-page":"125","article-title":"Soot - A Java bytecode optimization framework","author":"valle?e-rai","year":"1999","journal-title":"CASCON"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"24","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/581376.581377","article-title":"Tracking Down Software Bugs using Automatic Anomaly Detection","author":"sudheendra hangal","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.30"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070548"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595767"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_2"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227127"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368099"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2010.19"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609576"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.64"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.60"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859054"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"8","first-page":"365","article-title":"Finding application errors and security flaws using PQL: A program query language","author":"martin","year":"2005","journal-title":"OOPSLA"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","location":"Zurich","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227185.pdf?arnumber=6227185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:08:09Z","timestamp":1497992889000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227185\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227185","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}