Testing Program Analyzers Ad Absurdum

Informacje na temat projektu

MirandaTesting

Identyfikator umowy o grant: 101076510

DOI

10.3030/101076510

Data podpisania przez KE 15 Marca 2023

Data rozpoczęcia 1 Lipca 2023

Data zakończenia 30 Czerwca 2028

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 499 991,00

Wkład UE

€ 1 499 991,00

Koordynowany przez

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (5)

Green Fuzzer Benchmarking

Autorzy: Jiradet Ounjai; Valentin Wüstholz; Maria Christakis
Opublikowane w: ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Wydawca: ACM
DOI: 10.1145/3597926.3598144

Interrogation Testing of Program Analyzers for Soundness and Precision Issues

Autorzy: David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Opublikowane w: ASE '24, 2024
Wydawca: ACM
DOI: 10.1145/3691620.3695034

Constraint-Based Test Oracles for Program Analyzers

Autorzy: Markus Fleischmann; David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Opublikowane w: ASE '24, 2024
Wydawca: ACM
DOI: 10.1145/3691620.3695035

Fuzzing Processing Pipelines for Zero-Knowledge Circuits

Autorzy: Christoph Hochrainer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis
Opublikowane w: CCS'25, 2025
Wydawca: ACM
DOI: 10.48550/ARXIV.2411.02077

Dependency-Aware Metamorphic Testing of Datalog Engines

Autorzy: Muhammad Numair Mansur; Valentin Wüstholz; Maria Christakis
Opublikowane w: ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Wydawca: ACM
DOI: 10.1145/3597926.3598052