@inproceedings{FSTTCS,
author = {Alastair F. Donaldson},
title = {From Formal Methods to Fuzzing and Back},
booktitle = {46th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2026},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2026},
note = {To appear},
}