Automatically testing string solvers A Bugariu, P Müller Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 32 | 2020 |
Automatically testing implementations of numerical abstract domains A Bugariu, V Wüstholz, M Christakis, P Müller Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 20 | 2018 |
Identifying overly restrictive matching patterns in SMT-based program verifiers A Bugariu, A Ter-Gabrielyan, P Müller Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 3 | 2021 |
Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers (Extended Version) A Bugariu, A Ter-Gabrielyan, P Müller Formal Aspects of Computing 35 (2), 2023 | | 2023 |
Automatically Identifying Soundness and Completeness Errors in Program Analysis Tools A Bugariu ETH Zurich, 2022 | | 2022 |