Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing | Publicación