Just fuzz it: solving floating-point constraints using coverage-guided fuzzing
@inproceedings{DBLP:conf/sigsoft/LiewCDS19,
author = {Daniel Liew and
Cristian Cadar and
Alastair F. Donaldson and
J. Ryan Stinnett},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Just fuzz it: solving floating-point constraints using coverage-guided fuzzing},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {521-532},
publisher = {{ACM}},
year = {2019},
doi = {10.1145/3338906.3338921},
}