Specification-Based Program Repair Using SAT.

Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid

Browse the full TACAS paper archive.