Just fuzz it: solving floating-point constraints using coverage-guided fuzzing (2019)

First Author: Liew D
Attributed to:  Improving Symbolic Execution via Targeted Program Transformations funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1145/3338906.3338921

Publication URI: http://dx.doi.org/10.1145/3338906.3338921

Type: Conference/Paper/Proceeding/Abstract