KeYTestGen2 is a fully automated test case generation system for the Java programming language.