When You Have a Fuzzer, Everything Looks Like a Reachability Problem
@inproceedings{DBLP:conf/rp/DonaldsonCCILW25,
author = {Alastair F. Donaldson and
Cristian Cadar and
Manuel Carrasco and
Dan Iorga and
Daniel Liew and
John Wickerson},
editor = {Pierre Ganty and
Alessio Mansutti},
title = {When You Have a Fuzzer, Everything Looks Like a Reachability Problem},
booktitle = {Reachability Problems - 19th International Conference, {RP} 2025, Madrid, Spain, October 1-3, 2025, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {16230},
pages = {3--16},
publisher = {Springer},
year = {2025},
doi = {10.1007/978-3-032-09524-4_1},
}