Login / Signup
Dynamically Discovering Likely Program Invariants to Support Program Evolution.
Michael D. Ernst
Jake Cockrell
William G. Griswold
David Notkin
Published in:
IEEE Trans. Software Eng. (2001)
Keyphrases
</>
search algorithm
computer vision
static analysis
test cases
imperative programs
real time
automatic programming
decision support
open source
programming language
end users
relational databases
information technology
digital libraries
pattern recognition
high level
knowledge base