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
Tallinn, Estonia
Association for Computing Machinery
New York, NY, USA
Pages 521-532
Note(s): fuzz testing, SMT solver