Model-based testing in legacy software modernization: an experience report. - Marc-Florian Wendland; Marco Kranz; Christian Hein; Tom Ritter; Ana García Flaquer (JAMAICA@ISSTA, 2013)