Compiler Fuzzing in Continuous Integration: A Case Study on Dafny.

Karnbongkot Boonriong, Stefan Zetzsche, Alastair F. Donaldson

Browse the full ICST paper archive.