|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie | Inductive Predicate Synthesis Modulo Programs (Extended) | Preprint Preprint   | 11-Jul-2024 |
| 2 |  | Eniser, Hasan Ferit ; Wüstholz, Valentin ; Christakis, Maria | Automatically Testing Functional Properties of Code Translation Models | Inproceedings Konferenzbeitrag  | 24-Mar-2024 |
| 3 |  | Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie | Inductive Predicate Synthesis Modulo Programs | Inproceedings Konferenzbeitrag | 2024 |
| 4 | | Eniser, Hasan Ferit ; Wüstholz, Valentin ; Christaki, Maria | Automatically Testing Functional Properties of Code Translation Models | Preprint Preprint | 7-Sep-2023 |
| 5 |  | Ounjai, Jiradet ; Wüstholz, Valentin ; Christakis, Maria | Green Fuzzer Benchmarking | Inproceedings Konferenzbeitrag | Jul-2023 |
| 6 |  | Numair Mansur, Muhammad ; Wüstholz, Valentin ; Christakis, Maria | Dependency-Aware Metamorphic Testing of Datalog Engines | Inproceedings Konferenzbeitrag | Jul-2023 |
| 7 |  | Christaki, Maria ; Eniser, Hasan Ferit ; Hoffmann, Jörg ; Singla, Adish ; Wüstholz, Valentin | Specifying and Testing k-Safety Properties for Machine-Learning Models | Inproceedings Konferenzbeitrag | 2023 |
