Testing Program Analyzers Ad Absurdum

Project Information

MirandaTesting

Grant agreement ID: 101076510

DOI

10.3030/101076510

EC signature date 15 March 2023

Start date 1 July 2023

End date 30 June 2028

Funded under

• European Research Council (ERC)

Total cost

€ 1 499 991,00

EU contribution

€ 1 499 991,00

Coordinated by

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (5)

Green Fuzzer Benchmarking

Author(s): Jiradet Ounjai; Valentin Wüstholz; Maria Christakis
Published in: ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Publisher: ACM
DOI: 10.1145/3597926.3598144

Interrogation Testing of Program Analyzers for Soundness and Precision Issues

Author(s): David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Published in: ASE '24, 2024
Publisher: ACM
DOI: 10.1145/3691620.3695034

Constraint-Based Test Oracles for Program Analyzers

Author(s): Markus Fleischmann; David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Published in: ASE '24, 2024
Publisher: ACM
DOI: 10.1145/3691620.3695035

Fuzzing Processing Pipelines for Zero-Knowledge Circuits

Author(s): Christoph Hochrainer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis
Published in: CCS'25, 2025
Publisher: ACM
DOI: 10.48550/ARXIV.2411.02077

Dependency-Aware Metamorphic Testing of Datalog Engines

Author(s): Muhammad Numair Mansur; Valentin Wüstholz; Maria Christakis
Published in: ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Publisher: ACM
DOI: 10.1145/3597926.3598052