Specification-Based Program Repair Using SAT
No abstract available.
Related papers
- History-Aware Data Structure Repair Using SAT TACAS 2012
- Growing solver-aided languages with rosette Onward! 2013
- Compiling Problem Specifications into SAT ESOP 2001
- Provable repair of deep neural networks PLDI 2021
- Trace Repair for Temporal Behavior Trees TACAS 2026
- Automatic detection and repair of errors in data structures OOPSLA 2003
- Assume, Guarantee or Repair TACAS 2020
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation TACAS 2017