Testing Program Analyzers Ad Absurdum

Projektinformationen

MirandaTesting

ID Finanzhilfevereinbarung: 101076510

DOI

10.3030/101076510

EK-Unterschriftsdatum 15 März 2023

Startdatum 1 Juli 2023

Enddatum 30 Juni 2028

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 499 991,00

EU-Beitrag

€ 1 499 991,00

Koordiniert durch

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (5)

Green Fuzzer Benchmarking

Autoren: Jiradet Ounjai; Valentin Wüstholz; Maria Christakis
Veröffentlicht in: ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Herausgeber: ACM
DOI: 10.1145/3597926.3598144

Interrogation Testing of Program Analyzers for Soundness and Precision Issues

Autoren: David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Veröffentlicht in: ASE '24, 2024
Herausgeber: ACM
DOI: 10.1145/3691620.3695034

Constraint-Based Test Oracles for Program Analyzers

Autoren: Markus Fleischmann; David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Veröffentlicht in: ASE '24, 2024
Herausgeber: ACM
DOI: 10.1145/3691620.3695035

Fuzzing Processing Pipelines for Zero-Knowledge Circuits

Autoren: Christoph Hochrainer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis
Veröffentlicht in: CCS'25, 2025
Herausgeber: ACM
DOI: 10.48550/ARXIV.2411.02077

Dependency-Aware Metamorphic Testing of Datalog Engines

Autoren: Muhammad Numair Mansur; Valentin Wüstholz; Maria Christakis
Veröffentlicht in: ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Herausgeber: ACM
DOI: 10.1145/3597926.3598052