Contract-Based Data Structure Repair Using Alloy.

Razieh Nokhbeh Zaeem, Sarfraz Khurshid

Browse the full ECOOP paper archive.