Automatic Program Repair Using Formal Verification and Expression Templates.

Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin

Browse the full VMCAI paper archive.