Automatically testing implementations of numerical abstract domains. - Alexandra Bugariu; Valentin Wüstholz; Maria Christakis; Peter Müller 001 (ASE, 2018)

Automatically testing string solvers. - Alexandra Bugariu; Peter Müller 001 (ICSE, 2020)

Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers. - Alexandra Bugariu; Arshavir Ter-Gabrielyan; Peter Müller 001 (FM, 2021)

Automatically Identifying Soundness and Completeness Errors in Program Analysis Tools. - Alexandra Bugariu (2022)

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version). - Alexandra Bugariu; Arshavir Ter-Gabrielyan; Peter Müller 001 (Formal Aspects Comput., 2023)