Automated fixing of programs with contracts,” in (2010)

by Y Wei, Y Pei, C A Furia, L S Silva, S Buchholz, B Meyer, A Zeller
Venue:Proc. of the 19th Int. Symp. on Software Testing and Analysis,