Automatic Generation of Program Specifications (2002)

Cached

Download Links

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