History-Aware Data Structure Repair Using SAT
Abstract elided by the publisher.
Related papers
- Specification-Based Program Repair Using SAT TACAS 2011
- Cost-Aware Automatic Program Repair SAS 2014
- Contract-Based Data Structure Repair Using Alloy ECOOP 2010
- To be precise: regression aware debugging OOPSLA 2016
- Automatic detection and repair of errors in data structures OOPSLA 2003
- Starc: static analysis for efficient repair of complex data OOPSLA 2007
- UTFix: Change Aware Unit Test Repairing using LLM OOPSLA 2025
- Test-driven repair of data races in structured parallel programs PLDI 2014