Program Repair Suggestions from Graphical State-Transition Specifications.

Farn Wang, Chih-Hong Cheng

Browse the full FORTE paper archive.