Virtualization of stateful services via machine learning von Enişer, Hasan Ferit, Sen, Alper

Volltext

Automatically Testing Functional Properties of Code Translation Models von Eniser, Hasan Ferit, Wüstholz, Valentin, Christakis, Maria

Volltext bestellen

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust von Eniser, Hasan Ferit, Zhang, Hanliang, David, Cristina, Wang, Meng, Christakis, Maria, Paulsen, Brandon, Dodds, Joey, Kroening, Daniel

Volltext bestellen

RAID: Randomized Adversarial-Input Detection for Neural Networks von Eniser, Hasan Ferit, Christakis, Maria, Wüstholz, Valentin

Volltext bestellen

Automatically Testing Functional Properties of Code Translation Models von Hasan, Ferit Eniser, Wüstholz, Valentin, Christakis, Maria

Volltext

Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks von Tercan, Alperen, Ghosh, Ahana, Eniser, Hasan Ferit, Christakis, Maria, Singla, Adish

Volltext bestellen

Importance-Driven Deep Learning System Testing von Gerasimou, Simos, Eniser, Hasan Ferit, Sen, Alper

Volltext bestellen

DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning von Demir, Samet, Eniser, Hasan Ferit, Sen, Alper

Volltext bestellen

DeepFault: Fault Localization for Deep Neural Networks von Eniser, Hasan Ferit, Gerasimou, Simos, Sen, Alper

Volltext bestellen

Specifying and Testing $k$-Safety Properties for Machine-Learning Models von Christakis, Maria, Eniser, Hasan Ferit, Hoffmann, Jörg, Singla, Adish, Wüstholz, Valentin

Volltext bestellen

Importance-Driven Deep Learning System Testing von Gerasimou, Simos, Eniser, Hasan Ferit, Sen, Alper, Cakan, Alper

Volltext bestellen

Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131) von Böhme, Marcel, Christakis, Maria, Padhye, Rohan, Serebryany, Kostya, Zeller, Andreas, Eniser, Hasan Ferit

Volltext

RAID: Randomized Adversarial-Input Detection for Neural Networks von Hasan, Ferit Eniser, Christakis, Maria, Wüstholz, Valentin

Volltext

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust von Hasan, Ferit Eniser, Zhang, Hanliang, Cristina, David, Wang, Meng, Christakis, Maria, Paulsen, Brandon, Dodds, Joey, Kroening, Daniel

Volltext

Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks von Tercan, Alperen, Ghosh, Ahana, Hasan, Ferit Eniser, Christakis, Maria, Singla, Adish

Volltext

DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning von Demir, Samet, Hasan, Ferit Eniser, Sen, Alper

Volltext

DeepFault: Fault Localization for Deep Neural Networks von Hasan, Ferit Eniser, Simos Gerasimou, Sen, Alper

Volltext

Specifying and Testing \(k\)-Safety Properties for Machine-Learning Models von Christakis, Maria, Hasan, Ferit Eniser, Hoffmann, Jörg, Singla, Adish, Wüstholz, Valentin

Volltext

Importance-Driven Deep Learning System Testing von Simos Gerasimou, Hasan, Ferit Eniser, Sen, Alper, Cakan, Alper

Volltext