Login / Signup
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing.
Daniel Liew
Cristian Cadar
Alastair F. Donaldson
J. Ryan Stinnett
Published in:
ESEC/SIGSOFT FSE (2019)
Keyphrases
</>
floating point
interval arithmetic
sparse matrices
square root
fixed point
instruction set
constraint satisfaction
constrained problems
integer program
fast fourier transform
floating point arithmetic
image segmentation
linear constraints
integer programming
linear relaxation
graphical models
higher order