Jeremy W. Nimmer

List of publications from the DBLP Bibliography Server - FAQ

2002

3 EE Jeremy W. Nimmer, Michael D. Ernst: Automatic generation of program specifications. ISSTA 2002: 229-239

2 EE Jeremy W. Nimmer, Michael D. Ernst: Invariant inference for static checking. SIGSOFT FSE 2002: 11-20

2001

1 EE Jeremy W. Nimmer, Michael D. Ernst: Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. Electr. Notes Theor. Comput. Sci. 55(2): (2001)

2002
3	EE	Jeremy W. Nimmer, Michael D. Ernst: Automatic generation of program specifications. ISSTA 2002: 229-239
2	EE	Jeremy W. Nimmer, Michael D. Ernst: Invariant inference for static checking. SIGSOFT FSE 2002: 11-20
2001
1	EE	Jeremy W. Nimmer, Michael D. Ernst: Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. Electr. Notes Theor. Comput. Sci. 55(2): (2001)

Coauthor Index