Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects.

Bendegúz Seres Dániel Horpácsi Simon J. Thompson

Published in: Erlang (2024)

Keyphrases

semi automated
data driven
software development
computer aided
project management
fully automated
source code
software systems
software evolution
real time
decision trees
scheduling problem
computer assisted
context sensitive
automated analysis
consistency checking