Code Mutation in Verification and Automatic Code Correction
No abstract available.
Related papers
- Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing OOPSLA 2025
- Compiler verification meets cross-language linking via data abstraction OOPSLA 2014
- Don't sweat the small stuff: formal verification of C code without the pain PLDI 2014
- Reverse Interpretation + Mutation Analysis = Automatic Retargeting PLDI 1997
- RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code PLDI 2022
- Seam: provably safe local edits on graphs OOPSLA 2017
- DITTO: automatic incrementalization of data structure invariant checks (in Java) PLDI 2007
- Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models OOPSLA 2026