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

by J Nimmer, M Ernst
Venue:In Proceedings of RV’01, First Workshop on Runtime Verification,