SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Dominik Winterer
Dominik Winterer

Registered user since Wed 18 Dec 2019

Name: Dominik Winterer

Affiliation: ETH Zurich

Contributions

SPLASH 2020 On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers
Session Chair of R-6 (part of OOPSLA)
On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers
Show activities from other conferences

SPLASH 2020-profile
View general profile