Dynamically discovering likely program invariants to support program evolution (2001)

by Michael D Ernst, Jake Cockrell, William G Griswold, David Notkin
Venue:IEEE Transactions on Software Engineering