Green Fuzzer Benchmarking
(se abrirá en una nueva ventana)
Autores:
Jiradet Ounjai; Valentin Wüstholz; Maria Christakis
Publicado en:
ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Editor:
ACM
DOI:
10.1145/3597926.3598144
Interrogation Testing of Program Analyzers for Soundness and Precision Issues
(se abrirá en una nueva ventana)
Autores:
David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Publicado en:
ASE '24, 2024
Editor:
ACM
DOI:
10.1145/3691620.3695034
Constraint-Based Test Oracles for Program Analyzers
(se abrirá en una nueva ventana)
Autores:
Markus Fleischmann; David Kaindlstorfer; Anastasia Isychev; Valentin Wstholz; Maria Christakis
Publicado en:
ASE '24, 2024
Editor:
ACM
DOI:
10.1145/3691620.3695035
Fuzzing Processing Pipelines for Zero-Knowledge Circuits
(se abrirá en una nueva ventana)
Autores:
Christoph Hochrainer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis
Publicado en:
CCS'25, 2025
Editor:
ACM
DOI:
10.48550/ARXIV.2411.02077
Dependency-Aware Metamorphic Testing of Datalog Engines
(se abrirá en una nueva ventana)
Autores:
Muhammad Numair Mansur; Valentin Wüstholz; Maria Christakis
Publicado en:
ISSTA '23, 2023, ISBN 979-8-4007-0221-1
Editor:
ACM
DOI:
10.1145/3597926.3598052