Automated Support for Program Refactoring Using Invariants.

Yoshio Kataoka Michael D. Ernst William G. Griswold David Notkin

Published in: ICSM (2001)

Keyphrases

end users
decision support
computer programs
databases
artificial intelligence
high level
relational databases
source code
computer aided
fully automated
semi automated
support systems
imperative programs