Testing Program Analyzers Ad Absurdum

View Statistics Email Alert RSS Feed

Primary Data

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
 

Grants

Funder/Funding Agency Fördergeber
European Commission
Grant number Förderkennnummer
101076510
 

Publications

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

PreviewAuthor(s)TitleTypeIssue Date
1Kaindlstorfer, David ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Interrogation Testing of CHC SolversArticle Artikel30-Jun-2026
2Hochrainer, Christoph ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Fuzzing Processing Pipelines for Zero-Knowledge CircuitsInproceedings Konferenzbeitrag 22-Nov-2025
3Hochrainer-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
4Fleischmann, Markus ; Kaindlstorfer, David Michael ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Constraint-Based Test Oracles for Program AnalyzersInproceedings Konferenzbeitrag 2024
5Kaindlstorfer, David ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Interrogation Testing of Program Analyzers for Soundness and Precision IssuesInproceedings Konferenzbeitrag 2024
6Ounjai-2023-Green Fuzzer Benchmarking-vor.pdf.jpgOunjai, Jiradet ; Wüstholz, Valentin ; Christakis, Maria Green Fuzzer BenchmarkingInproceedings Konferenzbeitrag Jul-2023
7Mansur-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