Testing Program Analyzers Ad Absurdum

Informations projet

MirandaTesting

N° de convention de subvention: 101076510

DOI

10.3030/101076510

Date de signature de la CE 15 Mars 2023

Date de début 1 Juillet 2023

Date de fin 30 Juin 2028

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 499 991,00

Contribution de l’UE

€ 1 499 991,00

Coordonné par

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (5)

Green Fuzzer Benchmarking

Auteurs: Jiradet Ounjai; Valentin Wüstholz; Maria Christakis
Publié dans: ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Éditeur: ACM
DOI: 10.1145/3597926.3598144

Interrogation Testing of Program Analyzers for Soundness and Precision Issues

Auteurs: David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Publié dans: ASE '24, 2024
Éditeur: ACM
DOI: 10.1145/3691620.3695034

Constraint-Based Test Oracles for Program Analyzers

Auteurs: Markus Fleischmann; David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Publié dans: ASE '24, 2024
Éditeur: ACM
DOI: 10.1145/3691620.3695035

Fuzzing Processing Pipelines for Zero-Knowledge Circuits

Auteurs: Christoph Hochrainer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis
Publié dans: CCS'25, 2025
Éditeur: ACM
DOI: 10.48550/ARXIV.2411.02077

Dependency-Aware Metamorphic Testing of Datalog Engines

Auteurs: Muhammad Numair Mansur; Valentin Wüstholz; Maria Christakis
Publié dans: ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Éditeur: ACM
DOI: 10.1145/3597926.3598052