Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report

@inproceedings{Schuts2016RefactoringOL,
  title={Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report},
  author={Mathijs Schuts and Jozef Hooman and Frits W. Vaandrager},
  booktitle={IFM},
  year={2016}
}
Many companies struggle with large amounts of legacy software that is difficult to maintain and to extend. Refactoring legacy code typically requires large efforts and introduces serious risks because often crucial business assets are hidden in legacy components. We investigate the support of formal techniques for the rejuvenation of legacy embedded… CONTINUE READING