06-daniel-schemmel-constraint-fp-testing-siam-cse-2023.pdf (218.54 kB)
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.