Collaborated with:D.Liew C.Cadar A.F.Donaldson
Talks about:fuzz (2) constraint (1) coverag (1) point (1) float (1) solv (1) just (1) guid (1) use (1)
Person: J. Ryan Stinnett
DBLP: Stinnett:J=_Ryan
Contributed to:
2019Wrote 1 papers:
- ESEC-FSE-2019-LiewCDS #constraints #float #fuzzing #using
- Just fuzz it: solving floating-point constraints using coverage-guided fuzzing (DL, CC, AFD, JRS), pp. 521–532.