Testing Program Analyzers Ad Absurdum

Informazioni relative al progetto

MirandaTesting

ID dell’accordo di sovvenzione: 101076510

DOI

10.3030/101076510

Data della firma CE 15 Marzo 2023

Data di avvio 1 Luglio 2023

Data di completamento 30 Giugno 2028

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 499 991,00

Contributo UE

€ 1 499 991,00

Coordinato da

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (5)

Green Fuzzer Benchmarking

Autori: Jiradet Ounjai; Valentin Wüstholz; Maria Christakis
Pubblicato in: ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Editore: ACM
DOI: 10.1145/3597926.3598144

Interrogation Testing of Program Analyzers for Soundness and Precision Issues

Autori: David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Pubblicato in: ASE '24, 2024
Editore: ACM
DOI: 10.1145/3691620.3695034

Constraint-Based Test Oracles for Program Analyzers

Autori: Markus Fleischmann; David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Pubblicato in: ASE '24, 2024
Editore: ACM
DOI: 10.1145/3691620.3695035

Fuzzing Processing Pipelines for Zero-Knowledge Circuits

Autori: Christoph Hochrainer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis
Pubblicato in: CCS'25, 2025
Editore: ACM
DOI: 10.48550/ARXIV.2411.02077

Dependency-Aware Metamorphic Testing of Datalog Engines

Autori: Muhammad Numair Mansur; Valentin Wüstholz; Maria Christakis
Pubblicato in: ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Editore: ACM
DOI: 10.1145/3597926.3598052