Automated fixing of programs with contracts. (2010)

by Y Wei, Y Pei, C A Furia, L S Silva, S Buchholz, B Meyer, A Zeller
Venue:In Proceedings of the 19th International Symposium on Software Testing and Analysis, ISSTA ’10’,