{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T14:49:03Z","timestamp":1779202143338,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,21]]},"DOI":"10.1145\/3106237.3106274","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"831-841","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":103,"title":["Better test cases for better automated program repair"],"prefix":"10.1145","author":[{"given":"Jinqiu","family":"Yang","sequence":"first","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey","family":"Zhikhartsev","sequence":"additional","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuefei","family":"Liu","sequence":"additional","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin","family":"Tan","sequence":"additional","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2016. American Fuzzy Lop. (2016). http:\/\/lcamtuf.coredump.cx\/afl\/. 2016.  2016. American Fuzzy Lop. (2016). http:\/\/lcamtuf.coredump.cx\/afl\/. 2016."},{"key":"e_1_3_2_1_2_1","unstructured":"gcov\u2014a Test Coverage Program. (2016).  gcov\u2014a Test Coverage Program. (2016)."},{"key":"e_1_3_2_1_3_1","unstructured":"https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Gcov.html. 2016. Valgrind. (2016). http:\/\/valgrind.org\/.  https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Gcov.html. 2016. Valgrind. (2016). http:\/\/valgrind.org\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Paul Ammann and Jeff Offutt. 2008.  Paul Ammann and Jeff Offutt. 2008."},{"key":"e_1_3_2_1_5_1","unstructured":"Introduction to Software Testing (1 ed.). Cambridge University Press New York NY USA.  Introduction to Software Testing (1 ed.). Cambridge University Press New York NY USA."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635898"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI 2008). USENIX Association, Berkeley, CA, USA, 209\u2013224. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI 2008). USENIX Association, Berkeley, CA, USA, 209\u2013224."},{"key":"e_1_3_2_1_8_1","unstructured":"Christoph Csallner and Yannis Smaragdakis. 2004.  Christoph Csallner and Yannis Smaragdakis. 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_12_1","unstructured":"Juan Pablo Galeotti Gordon Fraser and Andrea Arcuri. 2014.  Juan Pablo Galeotti Gordon Fraser and Andrea Arcuri. 2014."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628049"},{"key":"e_1_3_2_1_14_1","unstructured":"S Hocevar. 2011. zzuf\u2014multi-purpose fuzzer. (2011).  S Hocevar. 2011. zzuf\u2014multi-purpose fuzzer. (2011)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568271"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486893"},{"key":"e_1_3_2_1_18_1","unstructured":"X. B. D. Le D. Lo and C. L. Goues. 2016.  X. B. D. Le D. Lo and C. L. Goues. 2016."},{"key":"e_1_3_2_1_19_1","volume-title":"Driven Program Repair. In 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER","volume":"1","author":"History","year":"2016","unstructured":"History Driven Program Repair. In 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016 ), Vol. 1 . 213\u2013224. History Driven Program Repair. In 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Vol. 1. 213\u2013224."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337225"},{"key":"e_1_3_2_1_21_1","unstructured":"Xinyuan Liu Muhan Zeng Yingfei Xiong Lu Zhang and Gang Huang. 2017.  Xinyuan Liu Muhan Zeng Yingfei Xiong Lu Zhang and Gang Huang. 2017."},{"key":"e_1_3_2_1_22_1","volume-title":"CoRR abs\/1706.09120","author":"Test-Based Automatic Identifying Patch","year":"2017","unstructured":"Identifying Patch Correctness in Test-Based Automatic Program Repair . CoRR abs\/1706.09120 ( 2017 ). Identifying Patch Correctness in Test-Based Automatic Program Repair. CoRR abs\/1706.09120 (2017)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884872"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591114"},{"key":"e_1_3_2_1_27_1","unstructured":"Richard McNally Ken Yiu Duncan Grove and Damien Gerhardy. 2012.  Richard McNally Ken Yiu Duncan Grove and Damien Gerhardy. 2012."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818811"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_33_1","unstructured":"Carlos Pacheco Shuvendu K. Lahiri Michael D. Ernst and Thomas Ball. 2007.  Carlos Pacheco Shuvendu K. Lahiri Michael D. Ernst and Thomas Ball. 2007."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"e_1_3_2_1_37_1","unstructured":"Koushik Sen Darko Marinov and Gul Agha. 2005.  Koushik Sen Darko Marinov and Gul Agha. 2005."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950295"},{"key":"e_1_3_2_1_40_1","volume-title":"Claire Le Goues, and Yuriy Brun","author":"Smith Edward K.","year":"2015","unstructured":"Edward K. Smith , Earl T. Barr , Claire Le Goues, and Yuriy Brun . 2015 . Edward K. Smith, Earl T. Barr, Claire Le Goues, and Yuriy Brun. 2015."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"e_1_3_2_1_42_1","unstructured":"Michael Sutton. 2012. FileFuzz. (2012).  Michael Sutton. 2012. FileFuzz. (2012)."},{"key":"e_1_3_2_1_43_1","unstructured":"Shin Hwei Tan and Abhik Roychoudhury. 2015.  Shin Hwei Tan and Abhik Roychoudhury. 2015."},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the 2015 Internaltional Conference on Software Engineering (ICSE","year":"2015","unstructured":"relifix : Automated Repair of Software Regressions . In Proceedings of the 2015 Internaltional Conference on Software Engineering (ICSE 2015 ). 471\u2013482. relifix: Automated Repair of Software Regressions. In Proceedings of the 2015 Internaltional Conference on Software Engineering (ICSE 2015). 471\u2013482."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"e_1_3_2_1_46_1","unstructured":"Tao Xie. 2006.  Tao Xie. 2006."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_23"},{"key":"e_1_3_2_1_48_1","volume-title":"Reiss","author":"Xin Qi","year":"2017","unstructured":"Qi Xin and Steven P . Reiss . 2017 . Qi Xin and Steven P. Reiss. 2017."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092718"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"e_1_3_2_1_51_1","unstructured":"Z. Yu M. Martinez B. Danglot T. Durieux and M. Monperrus. 2017. Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness. ArXiv e-prints (March 2017). arXiv:cs.SE\/1703.00198  Z. Yu M. Martinez B. Danglot T. Durieux and M. Monperrus. 2017. Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness. ArXiv e-prints (March 2017). arXiv:cs.SE\/1703.00198"},{"key":"e_1_3_2_1_52_1","unstructured":"Yucheng Zhang and Ali Mesbah. 2015.  Yucheng Zhang and Ali Mesbah. 2015."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786858"}],"event":{"name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Paderborn Germany","acronym":"ESEC\/FSE'17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106274","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3106274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:37Z","timestamp":1750217437000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106274"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":52,"alternative-id":["10.1145\/3106237.3106274","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3106274","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}