Dominik Winterer

Eidgenössische Technische Hochschule ETH Zürich - Zurich / Switzerland

Others

AD Scientific Index ID: 5943353

Swiss Federal Institute of Technology ETH Zurich

Registration, Add Profile,
Premium Membership

Print Your Certificate

Dominik Winterer's MOST POPULAR ARTICLES

1-) Validating SMT Solvers via Semantic FusionD Winterer, C Zhang, Z SuPLDI 2020, 2020812020

2-) A Novel Iterative Approach to Top-k PlanningM Katz, S Sohrabi, U Octavian, D WintererICAPS 2018, 2018712018

3-) On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT SolversD Winterer, C Zhang, Z SuSPLASH/OOPSLA 2020, 2020572020

4-) Generative type-aware mutation for testing SMT solversJ Park, D Winterer, C Zhang, Z SuSPLASH/OOPSLA 2021, 2021342021

5-) Oversubscription Planning as Classical Planning with Multiple Cost FunctionsM Katz, E Keyder, F Pommerening, D WintererICAPS 2019, 2019132019

ARTICLES

Add your articles