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