Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Testing Program Analyzers Ad Absurdum

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

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

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0