. . . . . . . . "Model extraction and test generation from JUnit test suites (PDF)"^^ .