1 citations · 1 across the 4 of their papers we have counts for
6 papers
Search-based Robustness Testing of Laptop Refurbishing Robotic Software
Erblin Isaku, Hassan Sartaj, Shaukat Ali +2
The Danish Technological Institute (DTI) focuses on transferring advanced technologies (including robots) to the industry and the public sector. One key application is laptop refur…
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
Erblin Isaku, Hassan Sartaj, Shaukat Ali +5
Self-adaptive robots (SARs) in complex, uncertain environments must proactively detect and address abnormal behaviors, including out-of-distribution (OOD) cases. To this end, digit…
Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
Erblin Isaku, Hassan Sartaj, Shaukat Ali
An autonomous vessel (AV) is a complex cyber-physical system (CPS) with software enabling many key functionalities, e.g., navigation software enables an AV to autonomously or semi-…
Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
Chengjie Lu, Pablo Valle, Jiahui Wu +4
Foundation Models (FMs), particularly Large Language Models (LLMs), are increasingly used to support various software engineering activities (e.g., coding and testing). Their adopt…
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
Erblin Isaku, Christoph Laaber, Hassan Sartaj +3
The Cancer Registry of Norway (CRN) uses an automated cancer registration support system (CaReSS) to support core cancer registry activities, i.e, data capture, data curation, and…
Cost Reduction on Testing Evolving Cancer Registry System
Erblin Isaku, Hassan Sartaj, Christoph Laaber +4
The Cancer Registration Support System (CaReSS), built by the Cancer Registry of Norway (CRN), is a complex real-world socio-technical software system that undergoes continuous evo…