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

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