Alexandra Bugariu

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Pattern Matching

Repetitive Patterns

Program Execution

Top Venues

Formal Aspects Comput.

Publications

Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version). Formal Aspects Comput. 35 (2) (2023)
Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers. CoRR (2021)
Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller
Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers. FM (2021)
Alexandra Bugariu, Peter Müller
Automatically testing string solvers. ICSE (2020)
Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller
Automatically testing implementations of numerical abstract domains. ASE (2018)