KeYTestGen2 is an automated test case generation system for Java