Name Card

Full name Familienname, Vorname
Christaki, Maria
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Christakis, Maria Specifying and Testing k-Safety Properties for Machine-Learning ModelsPresentation Vortrag8-Nov-2023
2Eniser, Hasan Ferit ; Wüstholz, Valentin ; Christaki, Maria Automatically Testing Functional Properties of Code Translation ModelsReport Bericht7-Sep-2023
3Christaki, Maria Rigorous Software EngineeringPresentation Vortrag26-Jul-2023
4Mansur-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
5Ounjai-2023-Green Fuzzer Benchmarking-vor.pdf.jpgOunjai, Jiradet ; Wüstholz, Valentin ; Christaki, Maria Green Fuzzer BenchmarkingInproceedings Konferenzbeitrag Jul-2023
6Christaki, Maria Rigorous Software EngineeringPresentation Vortrag13-Jun-2023
7Christaki, Maria Rigorous Software EngineeringPresentation Vortrag2-Feb-2023
8Tercan-2023-Synthesizing a Progression of Subtasks for Block-Based Visual...-vor.pdf.jpgTercan, Alperen ; Ghosh, Ahana ; Eniser, Hasan Ferit ; Christaki, Maria ; Singla, Adish Synthesizing a Progression of Subtasks for Block-Based Visual Programming TasksReport Bericht 2023
9Eisenhut-2023-Automatic Metamorphic Test Oracles for Action-Policy Testing-vor.pdf.jpgEisenhut, Jan ; Torralba, Álvaro ; Christaki, Maria ; Hoffmann, Jörg Automatic Metamorphic Test Oracles for Action-Policy TestingInproceedings Konferenzbeitrag 2023
10Böhme, Marcel ; Christaki, Maria ; Padhye, Rohan ; Serebryany, Kostya ; Zeller, Andreas ; Eniser, Hasan Ferit Software Bug Detection: Challenges and SynergiesReport Bericht2023
11Christakis-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

Contributing Publications Mitbeteiligte Publikationen

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

PreviewEditor(s)TitleTypeIssue Date
1Bjørner, Nikolaj ; Christakis, Maria ; Maffei, Matteo ; Rosu, Grigore Rigorous Methods for Smart ContractsReport BerichtApr-2022