Constraint-Based Program Debugging Using Data Structure Repair.

Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid

Browse the full ICST paper archive.