Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. - Jeremy W. Nimmer; Michael D. Ernst (RV@CAV, 2001)

Automatic generation of program specifications. - Jeremy W. Nimmer; Michael D. Ernst (ISSTA, 2002)

Invariant inference for static checking. - Jeremy W. Nimmer; Michael D. Ernst (SIGSOFT FSE, 2002)