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

by M D Ernst
Venue:In Proc. ICSE 1999