14 citations · 38 across the 14 of their papers we have counts for
16 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…
Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri +2
Self-adaptive robots operate in dynamic, unpredictable environments where unaddressed uncertainties can lead to safety violations and operational failures. However, systematically…
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…
Software Engineering for Self-Adaptive Robotics: A Research Agenda
Hassan Sartaj, Shaukat Ali, Ana Cavalcanti +6
Self-adaptive robotic systems operate autonomously in dynamic and uncertain environments, requiring robust real-time monitoring and adaptive behaviour. Unlike traditional robotic s…
Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
Hassan Sartaj, Shaukat Ali, Paolo Arcaini +1
Search-based software engineering (SBSE), which integrates metaheuristic search techniques with software engineering, has been an active area of research for about 25 years. It has…
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-…
Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri +2
Future self-adaptive robots are expected to operate in highly dynamic environments while effectively managing uncertainties. However, identifying the sources and impacts of uncerta…
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…
Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
Smart medical devices are an integral component of the healthcare Internet of Things (IoT), providing patients with various healthcare services through an IoT-based application. En…
Assessing Quantum Extreme Learning Machines for Software Testing in Practice
Asmar Muqeet, Hassan Sartaj, Aitor Arrieta +6
Machine learning has been extensively applied for classical software testing activities such as test generation, minimization, and prioritization. Along the same lines, there has b…
REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
Healthcare Internet of Things (IoT) applications often integrate various third-party healthcare applications and medical devices through REST APIs, resulting in complex and interde…
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…
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
Hassan Sartaj, Shaukat Ali, Tao Yue +1
Healthcare applications with the Internet of Things (IoT) are often safety-critical, thus, require extensive testing. Such applications are often connected to smart medical devices…
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…
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned
Hassan Sartaj, Shaukat Ali, Tao Yue +1
Healthcare Internet of Things (IoT) applications require rigorous testing to ensure their dependability. Such applications are typically integrated with various third-party healthc…
HITA: An Architecture for System-level Testing of Healthcare IoT Applications
Hassan Sartaj, Shaukat Ali, Tao Yue +1
System-level testing of healthcare Internet of Things (IoT) applications requires creating a test infrastructure with integrated medical devices and third-party applications. A sig…