{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T14:49:07Z","timestamp":1779202147899,"version":"3.51.4"},"reference-count":95,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1109\/issre52982.2021.00032","type":"proceedings-article","created":{"date-parts":[[2022,2,12]],"date-time":"2022-02-12T01:01:25Z","timestamp":1644627685000},"page":"208-219","source":"Crossref","is-referenced-by-count":14,"title":["More Reliable Test Suites for Dynamic APR by using Counterexamples"],"prefix":"10.1109","author":[{"given":"Amirfarhad","family":"Nilizadeh","sequence":"first","affiliation":[{"name":"University of Central Florida,Orlando,Florida,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marlon","family":"Calvo","sequence":"additional","affiliation":[{"name":"University of Central Florida,Orlando,Florida,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[{"name":"University of Central Florida,Orlando,Florida,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuan-Bach D.","family":"Le","sequence":"additional","affiliation":[{"name":"University of Melbourne,Melbourne,Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_17"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127900"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2018.05.003"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14052-5_11"},{"key":"ref76","first-page":"260","article-title":"Forensic-an automatic debug-ging environment for c programs","author":"bloem","year":"0","journal-title":"Haifa Verification Conference"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"ref74","first-page":"91","article-title":"Automated error localization and cor-rection for imperative programs","author":"k\u00f6nighofer","year":"0","journal-title":"Proceedings of the International Conference on Formal Methods in Computer-Aided Design FMCAD Inc"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3360585"},{"key":"ref75","first-page":"56","article-title":"Repair with on-the-fiy program analysis","year":"0","journal-title":"Haifa verificaiion Conference"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837617"},{"key":"ref78","first-page":"209","article-title":"KLEE: Unassisted and auto-matic generation of high-coverage tests for complex systems programs","volume":"8","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.40"},{"key":"ref33","first-page":"65","article-title":"Ultra-large repair search space with automatically mined tem-plates: the Cardumen mode of Astor","year":"0","journal-title":"2nd International Symposium on Search Based Software Engineering"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2948705"},{"key":"ref31","first-page":"404","article-title":"JML: a Java Modeling Language","author":"leavens","year":"1998","journal-title":"Formal Underpinnings of Java Workshop (at OOPSLA'98)"},{"key":"ref30","author":"leavens","year":"2008","journal-title":"JML Reference Manual"},{"key":"ref37","author":"dahl","year":"1972","journal-title":"Structured Programming"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3360004"},{"key":"ref34","article-title":"Arja: Automated repair of java programs via multi-objective genetic programming","author":"yuan","year":"2018","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(88)90022-2"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49812-6"},{"key":"ref61","first-page":"157","article-title":"Aspectjml: Modular specifi-cation and runtime checking for crosscutting contracts","author":"reb\u00ealo","year":"0","journal-title":"Proceedings of the 13th international conference on Modularity"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"ref64","first-page":"166","article-title":"Mining precon-ditions of apis in large-scale code corpus","author":"nguyen","year":"0","journal-title":"Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering"},{"key":"ref27","first-page":"65","article-title":"Jml and openjml for java 16","year":"0","journal-title":"Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs"},{"key":"ref65","first-page":"313","article-title":"Poster: an algorithm and tool to infer practical postconditions","author":"singleton","year":"0","journal-title":"2018 IEEE\/ACM 40th International Conference on Software Engineering Companion (ICSE-Companion) IEEE"},{"key":"ref66","year":"0","journal-title":"Java-JML"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"ref67","first-page":"105","article-title":"JML: notations and tools supporting detailed design in Java","author":"leavens","year":"2000","journal-title":"OOPSLA 2000 Companion Minneapolis Minnesota"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.21236\/ADA288583"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317455"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2755013"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.56"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/0207005"},{"key":"ref22","article-title":"The art, science, and engineering of fuzzing: A survey","author":"man\u00e8s","year":"2019","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50020-2"},{"key":"ref24","year":"0","journal-title":"BuggyJavaJML"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79379-1_5"},{"key":"ref26","first-page":"472","article-title":"OpenJML: JML for Java 7 by extending OpenJDK","year":"0","journal-title":"NASA Formal Methods Symposium"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0138-x"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9552-y"},{"key":"ref51","first-page":"188","article-title":"Impact of test suite coverage on overfitting in genetic improvement of software","author":"lim","year":"0","journal-title":"2nd International Symposium on Search Based Software Engineering"},{"key":"ref95","year":"0","journal-title":"Overfitted Dataset after Counterexamples are added"},{"key":"ref94","year":"0","journal-title":"Counterexamples of Overfitted Programs"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1145\/2043910.2043917"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1145\/1850771.1850793"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380338"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110817"},{"key":"ref59","author":"leavens","year":"2006","journal-title":"Design by Contract with JML"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/SBST.2017.12"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110825"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3122820"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09920-w"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330558"},{"key":"ref52","article-title":"Input test suites for program repair: A novel construction method based on metamorphic relations","author":"jiang","year":"2020","journal-title":"IEEE Transactions on Reliability"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9577-2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00064"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2016.68"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098225"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.42"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180182"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/3135932.3135941"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP.2019.00039"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3392179"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635873"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338911"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351752"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.13"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-020-9263-1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00020"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092718"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.45"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00033"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1830483.1830654"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.76"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416590"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-016-9470-4"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106274"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381813"},{"key":"ref42","year":"0","journal-title":"Program repair"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"}],"event":{"name":"2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)","location":"Wuhan, China","start":{"date-parts":[[2021,10,25]]},"end":{"date-parts":[[2021,10,28]]}},"container-title":["2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9700160\/9700163\/09700327.pdf?arnumber=9700327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,10]],"date-time":"2022-06-10T21:40:34Z","timestamp":1654897234000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9700327\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":95,"URL":"https:\/\/doi.org\/10.1109\/issre52982.2021.00032","relation":{},"subject":[],"published":{"date-parts":[[2021,10]]}}}