Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing.

Manuel Carrasco, Cristian Cadar, Alastair F. Donaldson

Browse the full ICST paper archive.