Urmăriți
Alexandra Bugariu
Titlu
Citat de
Citat de
Anul
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–5