Michael D. Ernst Jake Cockrell William G. Griswold David Notkin Dynamically Discovering Likely Program Invariants to Support Program Evolution. 213-224 1999 conf/icse/1999 ICSE http://portal.acm.org/citation.cfm?id=302405.302467 db/conf/icse/icse99.html#ErnstCGN99