Prause, Christian, Rainer Gerlich, and Ralf Gerlich. "Evaluating Automated Software Verification Tools." In IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). Vasteras, Sweden, 2018.