Automatic Program Repair Using Formal Verification and Expression Templates
Abstract elided by the publisher.
Related papers
- Cost-Aware Automatic Program Repair SAS 2014
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation TACAS 2017
- Program verification using templates over predicate abstraction PLDI 2009
- Type error feedback via analytic program repair PLDI 2020
- Automatic repair of regular expressions OOPSLA 2019
- Massively Parallel Mining of Specifications for Hardware Designs CAV 2026
- Liquid information flow control ICFP 2020
- Lightweight multi-language syntax transformation with parser parser combinators PLDI 2019