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

Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager

Browse the full IFM paper archive.