Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing
@inproceedings{DBLP:conf/icst/CarrascoCD25,
author = {Manuel Carrasco and
Cristian Cadar and
Alastair F. Donaldson},
title = {Scalable {SMT} Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2025, Napoli, Italy, March 31 - April 4, 2025},
pages = {69--79},
publisher = {{IEEE}},
year = {2025},
doi = {10.1109/ICST62969.2025.10989031},
}