Dynamically Discovering Likely Program Invariants to Support Program Evolution.

Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin

Browse the full ICSE paper archive.