Quickly detecting relevant program invariants.

Michael D. Ernst Adam Czeisler William G. Griswold David Notkin

Published in: ICSE (2000)

Keyphrases

computer programs
higher level
automatic detection
imperative programs
real time
website
closely related
static analysis
databases
machine learning
artificial intelligence
computer vision
d objects