Automatic generation of program specifications (2002)

by Jeremy W Nimmer, Michael D Ernst
Venue:ISSTA 2002 (International Symposium on Software Testing and Analysis