Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis.

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

Browse the full VMCAI paper archive.