Dynamically discovering likely program invariants to support program evolution. (1999)

by M D Ernst, J Cockrell, W G Griswold, D Notkin
Venue:ICSE