Compiler Fuzzing in Continuous Integration: A Case Study on Dafny. - Karnbongkot Boonriong; Stefan Zetzsche; Alastair F. Donaldson (ICST, 2025)