Dynamically Discovering Likely Program Invariants to Support Program Evolution (0)

by M D Ernst, J Cockrell, W G Griswold, D Notkin
Venue:IEEE Transactions on Software Engineering