@inproceedings{1a619cf4ca054b9c88521decc3ed7159,
title = "(Programs), Proofs and Refutations (and Tests and Mutants)",
abstract = "This essay consists of an imaginary discussion among a group of students after a computer science class, that presents some problems of (and partial solutions to) fundamental issues of program correctness.",
keywords = "counterexample, proof, tests, {software testing software verification",
author = "Alex Groce",
note = "Publisher Copyright: {\textcopyright} 2024 Copyright is held by the owner/author(s).; 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2024, Co-located with: SPLASH 2024 ; Conference date: 23-10-2024 Through 25-10-2024",
year = "2024",
month = oct,
day = "17",
doi = "10.1145/3689492.3689810",
language = "English (US)",
series = "Onward! 2024 - Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2024",
publisher = "Association for Computing Machinery, Inc",
pages = "223--230",
editor = "Jonathan Edwards and Marcel Taeumel",
booktitle = "Onward! 2024 - Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with",
}