Follow
Alexandra Bugariu
Title
Cited by
Cited by
Year
Automatically testing string solvers
A Bugariu, P Müller
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
322020
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
202018
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
32021
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
The system can't perform the operation now. Try again later.
Articles 1–5