Name Card

Full name Familienname, Vorname
Wüstholz, Valentin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eniser, Hasan Ferit ; Wüstholz, Valentin ; Christaki, Maria Automatically Testing Functional Properties of Code Translation ModelsReport Bericht7-Sep-2023
2Mansur-2023-Dependency-Aware Metamorphic Testing of Datalog Engines-vor.pdf.jpgNumair Mansur, Muhammad ; Wüstholz, Valentin ; Christaki, Maria Dependency-Aware Metamorphic Testing of Datalog EnginesInproceedings Konferenzbeitrag Jul-2023
3Ounjai-2023-Green Fuzzer Benchmarking-vor.pdf.jpgOunjai, Jiradet ; Wüstholz, Valentin ; Christaki, Maria Green Fuzzer BenchmarkingInproceedings Konferenzbeitrag Jul-2023
4Christakis-2023-Specifying and Testing k-Safety Properties for Machine-Le...-vor.pdf.jpgChristaki, Maria ; Eniser, Hasan Ferit ; Hoffmann, Jörg ; Singla, Adish ; Wüstholz, Valentin Specifying and Testing k-Safety Properties for Machine-Learning ModelsInproceedings Konferenzbeitrag 2023