History-Aware Data Structure Repair Using SAT.

Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley

Browse the full TACAS paper archive.