Compiler Fuzzing in Continuous Integration: A Case Study on Dafny
@inproceedings{DBLP:conf/icst/BoonriongZD25,
author = {Karnbongkot Boonriong and
Stefan Zetzsche and
Alastair F. Donaldson},
title = {Compiler Fuzzing in Continuous Integration: {A} Case Study on Dafny},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2025, Napoli, Italy, March 31 - April 4, 2025},
pages = {441--452},
publisher = {{IEEE}},
year = {2025},
doi = {10.1109/ICST62969.2025.10988954},
}