Name Card

Full name Familienname, Vorname
Isychev, Anastasia
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hochrainer-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
2Fleischmann-2024-Constraint-Based Test Oracles for Program Analyzers-vor.pdf.jpgFleischmann, Markus ; Kaindlstorfer, David Michael ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Constraint-Based Test Oracles for Program AnalyzersInproceedings Konferenzbeitrag 2024
3Kaindlstorfer-2024-Interrogation Testing of Program Analyzers for Soundne...-vor.pdf.jpgKaindlstorfer, David ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Interrogation Testing of Program Analyzers for Soundness and Precision IssuesInproceedings Konferenzbeitrag 2024