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