Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Testing Program Analyzers Ad Absurdum

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

Green Fuzzer Benchmarking (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0