Enhancing constraint-based repair of data structure errors that recur using memoization.

Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Browse the full SAC paper archive.