Jeremy W. Nimmer

According to our database, Jeremy W. Nimmer authored at least 3 papers between 2001 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2002

Invariant inference for static checking.

Jeremy W. Nimmer, Michael D. Ernst

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Automatic generation of program specifications.

Jeremy W. Nimmer, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001

Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java.

Jeremy W. Nimmer, Michael D. Ernst

Proceedings of the Workshop on Runtime Verification, 2001