Configuration prediction for formal program verifiers.
GUIDO: Automated Guidance for the Configuration of Deductive Program
Alexander Knüppel, Thomas Thüm, and Ina Schaefer
Conference on Formal Methods in Software Engineering (FormaliSE@ICSE21). IEEE, 2021.
[pdf]