From Tests to Proofs
No abstract available.
DOI 10.1007/978-3-642-00768-2_24
Related papers
- LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution) TACAS 2016
- (Programs), Proofs and Refutations (and Tests and Mutants) Onward! 2024
- Kleene Algebra with Tests TOPLAS 1997
- Fulminate: Testing CN Separation-Logic Specifications in C POPL 2025
- Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi CPP 2023
- Test Data as an Aid in Proving Program Correctness POPL 1976
- Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad Haskell 2025
- Experience report: applying random testing to a base type environment ICFP 2013