Repair of Boolean Programs with an Application to C
No abstract available.
Related papers
- Cost-Aware Automatic Program Repair SAS 2014
- New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair SAS 2018
- Automatic runtime error repair and containment via recovery shepherding PLDI 2014
- Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE 2025
- Automatic detection and repair of errors in data structures OOPSLA 2003
- Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation CAV 2000
- Deductive Program Repair CAV 2015
- Trace Repair for Temporal Behavior Trees TACAS 2026