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