Michael D. Ernst Jake Cockrell William G. Griswold David Notkin Dynamically Discovering Likely Program Invariants to Support Program Evolution. 99-123 2001 27 IEEE Trans. Software Eng. 2 http://www.computer.org/tse/ts2001/e0099abs.htm db/journals/tse/tse27.html#ErnstCGN01