(Programs), Proofs and Refutations (and Tests and Mutants)
| Title: | (Programs), Proofs and Refutations (and Tests and Mutants) |
|---|---|
| Authors: | Groce, Alex |
| Source: | Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. :223-230 |
| Availability: | http://dl.acm.org/doi/10.1145/3689492.3689810 |
| Database: | ACM Full-Text Collection |