Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (ic.ac.uk)