Testing Program Analyzers Ad Absurdum


Project Acronym Projekt Kurzbezeichnung
MirandaTesting
 
Project Title (de) Projekttitel (de)
Testing Program Analyzers Ad Absurdum
 
Project Title (en) Projekttitel (en)
Testing Program Analyzers Ad Absurdum
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
European Commission
Grant number Förderkennnummer
101076510
 

Publications

Results 1-6 of 6 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hochrainer, Christoph ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Fuzzing Processing Pipelines for Zero-Knowledge CircuitsInproceedings Konferenzbeitrag 22-Nov-2025
2Hochrainer-2024-Fuzzing Processing Pipelines for Zero-Knowledge Circuits-ao.pdf.jpgHochrainer, Christoph ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Fuzzing Processing Pipelines for Zero-Knowledge CircuitsPreprint Preprint 4-Nov-2024
3Fleischmann, Markus ; Kaindlstorfer, David Michael ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Constraint-Based Test Oracles for Program AnalyzersInproceedings Konferenzbeitrag 2024
4Kaindlstorfer, David ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Interrogation Testing of Program Analyzers for Soundness and Precision IssuesInproceedings Konferenzbeitrag 2024
5Mansur-2023-Dependency-Aware Metamorphic Testing of Datalog Engines-vor.pdf.jpgNumair Mansur, Muhammad ; Wüstholz, Valentin ; Christakis, Maria Dependency-Aware Metamorphic Testing of Datalog EnginesInproceedings Konferenzbeitrag Jul-2023
6Ounjai-2023-Green Fuzzer Benchmarking-vor.pdf.jpgOunjai, Jiradet ; Wüstholz, Valentin ; Christakis, Maria Green Fuzzer BenchmarkingInproceedings Konferenzbeitrag Jul-2023