Alexandra Bugariu

According to our database, Alexandra Bugariu authored at least 5 papers between 2018 and 2023.

Collaborative distances:

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

2023

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version).

Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller

Formal Aspects Comput., June, 2023

2022

Automatically Identifying Soundness and Completeness Errors in Program Analysis Tools.

Alexandra Bugariu

PhD thesis, 2022

2021

Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers.

Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Automatically testing string solvers.

Alexandra Bugariu, Peter Müller

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2018

Automatically testing implementations of numerical abstract domains.

Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018