Dominik Winterer

Validating SMT solvers via semantic fusion

Dominik Winterer, Chengyu Zhang, Zhendong Su · 2020 · 75 citations · Full text

Computing, Computer Science, Formal Methods +12

On the unusual effectiveness of type-aware operator mutations for testing SMT solvers

Dominik Winterer, Chengyu Zhang, Zhendong Su · Proceedings of the ACM on Programming Languages · 2020 · 50 citations · Full text

Computing, Computer Engineering, Computer Science +14

A Novel Iterative Approach to Top-k Planning

Michael Katz, Shirin Sohrabi, Octavian Udrea et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2018 · 49 citations · Full text

Natural Sciences, Autonomous Systems, Optimization +8

Generative type-aware mutation for testing SMT solvers

Jiwon Park, Dominik Winterer, Chengyu Zhang et al. · Proceedings of the ACM on Programming Languages · 2021 · 28 citations · Full text

Computing, Computer Engineering, Computer Science +16

Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration

Dominik Winterer, Zhendong Su · Proceedings of the ACM on Programming Languages · 2024 · 10 citations · Full text

Computing, Computer Science, Algorithms +8