Dynamically Discovering Likely Program Invariants to Support Program Evolution.

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

Published in: ICSE (1999)

Keyphrases

computer programs
programming environment
data sets
knowledge base
data mining
machine learning
artificial intelligence
image processing
automatic programming