Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java (0)

by Jeremy W Nimmer, Michael D Ernst
Venue:Electr. Notes Theor. Comput. Sci