Modelchecking Correctness of Refactorings - Some Experiments.

H.-Christian Estler Thomas Ruhroth Heike Wehrheim

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

software evolution
database
database schema
databases
data mining
expert systems
association rules
special case
probabilistic model
data management
transformation rules