ECOOP and ISSTA 2021 (series) / Christoph Lauter
Registered user since Tue 18 May 2021
Name:Christoph Lauter
Country:United States
Affiliation:University of Alaska at Anchorage
Personal website:http://www.christoph-lauter.org/
Research interests:Numerical Computing, Floating-Point Arithmetic, Rigorous Computing, Machine Learning
Contributions
| ISSTA 2021 | Interval Constraint-Based Mutation Testing of Numerical Specifications | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2021-profile
View general profile
View general profile