Extracts models from JUnit tests for test generation