Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Manuel Carrasco, Cristian Cadar, Alastair Donaldson

Journal title: International Conference on Software Testing, Verification, and Validation (ICST 2025)

Journal publisher: IEEE

Published year: 2025