Constraint-Based Testing for Floating-Point Code: Challenges and Opportunities
presentation
posted on 2023-03-06, 18:17 authored by Cristian Cader, Daniel SchemmelPresentation by Daniel Schemmel at the "Bridging the Gap from HPC Software Engineering to Academic Research" minisymposium at SIAM CSE 2023.
