Dominik Winterer

According to our database, Dominik Winterer authored at least 9 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Finding and Understanding Incompleteness Bugs in SMT Solvers.

Mauro Bringolf, Dominik Winterer, Zhendong Su

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Generative type-aware mutation for testing SMT solvers.

Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2021

2020

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

Dominik Winterer, Chengyu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2020

On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers.

Dominik Winterer, Chengyu Zhang, Zhendong Su

CoRR, 2020

Validating SMT solvers via semantic fusion.

Dominik Winterer, Chengyu Zhang, Zhendong Su

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Oversubscription Planning as Classical Planning with Multiple Cost Functions.

Michael Katz, Emil Keyder, Dominik Winterer, Florian Pommerening

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

A Novel Iterative Approach to Top-k Planning.

Michael Katz, Shirin Sohrabi, Octavian Udrea, Dominik Winterer

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Stubborn Sets for Fully Observable Nondeterministic Planning.

Dominik Winterer, Yusra Alkhazraji, Michael Katz, Martin Wehrle

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Structural Symmetries for Fully Observable Nondeterministic Planning.

Dominik Winterer, Martin Wehrle, Michael Katz

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016