Automatic Generation of Program Specifications (2002)

by Jeremy W. Nimmer , Michael D. Ernst
Venue:In ISSTA 2002, Proceedings of the 2002 International Symposium on Software Testing and Analysis
Citations:69 - 15 self