SPLASH 2020 (series) / Dominik Winterer
Registered user since Wed 18 Dec 2019
Name: Dominik Winterer
Affiliation: ETH Zurich, Switzerland
Contributions
| SPLASH 2020 | Author of On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile