Automatic generation of program specifications.

Jeremy W. Nimmer, Michael D. Ernst

Browse the full ISSTA paper archive.