YUSE: Symbolic Testing of Floating-Point Bugs and Exceptions

Published in JSS 2024, 2025

Recommended citation: Zeyu Liang et al. Journal of Systems and Software. YUSE: Symbolic Testing of Floating-Point Programs.
Download Paper