Just fuzz it: Solving floating-point constraints using coverage-Guided fuzzing

Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
ESEC/FSE 2019
Tallinn, Estonia
Association for Computing Machinery
New York, NY, USA
Pages 521-532
2019
Note(s): fuzz testing, SMT solver