Building trustworthy refactoring tools.

Published in: VPT@CAV (2013)

Keyphrases

object oriented systems
user friendly
decision support
building blocks
software systems
computational tools
record keeping
end users
source code
data quality
design principles