{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:32Z","timestamp":1750309352839,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T00:00:00Z","timestamp":1729123200000},"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":[[2024,10,17]]},"DOI":"10.1145\/3689492.3689810","type":"proceedings-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T09:14:04Z","timestamp":1729156444000},"page":"223-230","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["(Programs), Proofs and Refutations (and Tests and Mutants)"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0273-4668","authenticated-orcid":false,"given":"Alex","family":"Groce","sequence":"first","affiliation":[{"name":"Northern Arizona University, Flagstaff, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,10,17]]},"reference":[{"unstructured":"2008. Google Test. https:\/\/github.com\/google\/googletest","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","volume-title":"The oracle problem in software testing: A survey","author":"Barr Earl T","year":"2015","unstructured":"Earl T Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, and Shin Yoo. 2015. The oracle problem in software testing: A survey. IEEE transactions on software engineering, 41, 5 (2015), 507\u2013525."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/358476.358484"},{"doi-asserted-by":"crossref","unstructured":"Armin Biere Alessandro Cimatti Edmund M. Clarke and Yunshan Zhu. 1999. Symbolic Model Checking without BDDs. In Tools and Algorithms for the Construction and Analysis of Systems. 193\u2013207.","key":"e_1_3_2_1_4_1","DOI":"10.1007\/3-540-49059-0_14"},{"unstructured":"Joshua Bloch. 2006. Extra Extra - Read All About It: Nearly All Binary Searches and Mergesorts are Broken. https:\/\/blog.research.google\/2006\/06\/extra-extra-read-all-about-it-nearly.html","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/351240.351266"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/359104.359106"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/3643756"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/1005882.1005883"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/3597503.3639581"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.14722\/bar.2018.23009"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/ASE.2015.40"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.5555\/3288647.3288712"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1109\/ICSE.2007.68"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/362452.362489"},{"doi-asserted-by":"crossref","unstructured":"Daniel Kroening Edmund M. Clarke and Flavio Lerda. 2004. A Tool for Checking ANSI-C Programs. In Tools and Algorithms for the Construction and Analysis of Systems. 168\u2013176.","key":"e_1_3_2_1_16_1","DOI":"10.1007\/978-3-540-24730-2_15"},{"volume-title":"Proofs and refutations","author":"Lakatos Imre","unstructured":"Imre Lakatos. 1963. Proofs and refutations. Nelson London.","key":"e_1_3_2_1_17_1"},{"volume-title":"Mechanizing proof: computing, risk, and trust","author":"MacKenzie Donald","unstructured":"Donald MacKenzie. 2004. Mechanizing proof: computing, risk, and trust. MIT Press.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","volume-title":"IFIP Congress. https:\/\/api.semanticscholar.org\/CorpusID:9388576","author":"McCarthy John","year":"1962","unstructured":"John McCarthy. 1962. Towards a Mathematical Science of Computation. In IFIP Congress. https:\/\/api.semanticscholar.org\/CorpusID:9388576"},{"volume-title":"Program Verification: Fundamental Issues in Computer Science","author":"McCarthy John","unstructured":"John McCarthy. 1993. Towards a mathematical science of computation. In Program Verification: Fundamental Issues in Computer Science. Springer, 35\u201356.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","volume-title":"Differential testing for software","author":"McKeeman William","year":"1998","unstructured":"William McKeeman. 1998. Differential testing for software. Digital Technical Journal of Digital Equipment Corporation, 10(1) (1998), 100\u2013107."},{"key":"e_1_3_2_1_22_1","volume-title":"Yves Le Traon, and Mark Harman","author":"Papadakis Mike","year":"2019","unstructured":"Mike Papadakis, Marinos Kintis, Jie Zhang, Yue Jia, Yves Le Traon, and Mark Harman. 2019. Mutation testing advances: an analysis and survey. In Advances in Computers. 112, Elsevier, 275\u2013378."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.22152\/PROGRAMMING-JOURNAL.ORG"},{"doi-asserted-by":"crossref","unstructured":"Karl Popper. 1959. The Logic of Scientific Discovery. Hutchinson.","key":"e_1_3_2_1_24_1","DOI":"10.1063\/1.3060577"},{"doi-asserted-by":"crossref","unstructured":"Karl Popper. 1963. Conjectures and Refutations: The Growth of Scientific Knowledge.","key":"e_1_3_2_1_25_1","DOI":"10.1063\/1.3050617"},{"key":"e_1_3_2_1_26_1","volume-title":"Noshin Ulfat, Fahmid Al Rifat, and Vinicius Carvalho Lopes.","author":"Siddiq Mohammed Latif","year":"2023","unstructured":"Mohammed Latif Siddiq, Joanna C. S. Santos, Ridwanul Hasan Tanvir, Noshin Ulfat, Fahmid Al Rifat, and Vinicius Carvalho Lopes. 2023. An Empirical Study of Using Large Language Models for Unit Test Generation. arxiv:2305.00418."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1145\/1985793.1985847"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/1007512.1007531"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1145\/1081706.1081749"},{"volume-title":"Computational artifacts","author":"Turner Raymond","unstructured":"Raymond Turner and Raymond Turner. 2018. Computational artifacts. Springer.","key":"e_1_3_2_1_30_1"},{"unstructured":"Zhiqiang Yuan Yiling Lou Mingwei Liu Shiji Ding Kaixin Wang Yixuan Chen and Xin Peng. 2023. No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation. arxiv:2305.04207.","key":"e_1_3_2_1_31_1"},{"unstructured":"Michal Zalewski. [n. d.]. american fuzzy lop (2.35b). http:\/\/lcamtuf.coredump.cx\/afl\/ Accessed December 20 2016","key":"e_1_3_2_1_32_1"}],"event":{"sponsor":["SIGPLAN SIGPLAN","SIGAda SIGAda"],"acronym":"Onward! '24","name":"Onward! '24: 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software","location":"Pasadena CA USA"},"container-title":["Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689492.3689810","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689492.3689810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:05:46Z","timestamp":1750291546000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689492.3689810"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,17]]},"references-count":32,"alternative-id":["10.1145\/3689492.3689810","10.1145\/3689492"],"URL":"https:\/\/doi.org\/10.1145\/3689492.3689810","relation":{},"subject":[],"published":{"date-parts":[[2024,10,17]]},"assertion":[{"value":"2024-10-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}