Automatic Generation of Program Specifications (2002)

by Jeremy W Nimmer, Michael D Ernst
Venue:In ISSTA ’02: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis