DMCA

Automated fixing of programs with contracts (2010)

by Yi Wei , Yu Pei , Carlo A. Furia , Lucas S. Silva , Stefan Buchholz , Meyer Andreas Zeller
Venue:In Proceedings of the 19th International Symposium on Software Testing and Analysis
Citations:68 - 7 self