Hassan Sartaj

37 papers A* 2A 4B 2Journal 26Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Identifying Uncertainty in Self-Adaptive Robotics With Large Language Models.
IEEE Softw.
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri, Shaukat Ali, Peter Gorm Larsen
2026 — ed.
Software Architecture. ECSA 2025 Tracks and Workshops - Limassol, Cyprus, September 15-19, 2025, Proceedings
ECSA (Tracks and Workshops)
Domenico Bianculli, Hassan Sartaj, Vasilios Andrikopoulos, Cesare Pautasso, Tommi Mikkonen, Jennifer Pérez, Tomás Bures, Martina De Sanctis, Henry Muccini, Elena Navarro, Mohamed Soliman, Uwe Zdun
2025 J jnl
Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels.
CoRR
Erblin Isaku, Hassan Sartaj, Shaukat Ali
2025 J jnl
Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead.
CoRR
Chengjie Lu, Pablo Valle, Jiahui Wu, Erblin Isaku, Hassan Sartaj, Aitor Arrieta, Shaukat Ali
2025 J jnl
Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models.
CoRR
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri, Shaukat Ali, Peter Gorm Larsen
2025 A conf
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine.
ICST
Erblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2025 J jnl
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning.
ACM Trans. Softw. Eng. Methodol.
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2025 A* conf
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins.
ASE
Erblin Isaku, Hassan Sartaj, Shaukat Ali, Beatriz Sanguino, Tongtong Wang, Guoyuan Li, Houxiang Zhang, Thomas Peyrucain
2025 J jnl
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins.
CoRR
Erblin Isaku, Hassan Sartaj, Shaukat Ali, Beatriz Sanguino, Tongtong Wang, Guoyuan Li, Houxiang Zhang, Thomas Peyrucain
2025 J jnl
Search-Based MC/DC Test Data Generation With OCL Constraints.
Softw. Test. Verification Reliab.
Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2025 J jnl
Search-Based Software Engineering in the Landscape of AI Foundation Models.
CoRR
Hassan Sartaj, Shaukat Ali
2025 J jnl
Software Engineering for Self-Adaptive Robotics: A Research Agenda.
CoRR
Shaukat Ali, Ana Cavalcanti, Cláudio Ângelo Gonçalves Gomes, Peter Gorm Larsen, Hassan Sartaj, Anastasios Tefas, Jim Woodcock, Houxiang Zhang
2025 J jnl
Uncertainty-aware environment simulation of medical devices digital twins.
Softw. Syst. Model.
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2024 J jnl
Assessing Quantum Extreme Learning Machines for Software Testing in Practice.
CoRR
Asmar Muqeet, Hassan Sartaj, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Maite Arratibel, Julie Marie Gjøby, Narasimha Raghavan Veeraragavan, Jan F. Nygård
2024 J jnl
Automated System-level Testing of Unmanned Aerial Systems.
CoRR
Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2024 J jnl
Automated system-level testing of unmanned aerial systems.
Autom. Softw. Eng.
Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2024 B conf
Digital Twins Environment Simulation for Testing Healthcare IoT Applications.
COMPSAC
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2024 J jnl
Efficient Test Data Generation for MC/DC with OCL and Search.
CoRR
Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2024 J jnl
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine.
CoRR
Erblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2024 J jnl
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning.
CoRR
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2024 J jnl
Model-based digital twins of medicine dispensers for healthcare IoT applications.
Softw. Pract. Exp.
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
2024 J jnl
REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application.
CoRR
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2024 J jnl
Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins.
CoRR
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
2023 A conf
Cost Reduction on Testing Evolving Cancer Registry System.
ICSME
Erblin Isaku, Hassan Sartaj, Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2023 J jnl
Cost Reduction on Testing Evolving Cancer Registry System.
CoRR
Erblin Isaku, Hassan Sartaj, Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård
2023 — conf
HITA: An Architecture for System-level Testing of Healthcare IoT Applications.
ECSA (Tracks, Workshops and Doctoral Symposium)
Hassan Sartaj, Shaukat Ali, Tao Yue, Julie Marie Gjøby
2023 J jnl
HITA: An Architecture for System-level Testing of Healthcare IoT Applications.
CoRR
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
2023 J jnl
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications.
CoRR
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
2023 — conf
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned.
ESEC/SIGSOFT FSE
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
2023 J jnl
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned.
CoRR
Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg
2021 A* conf
Automated Approach for System-level Testing of Unmanned Aerial Systems.
ASE
Hassan Sartaj
2021 J jnl
Testing cockpit display systems of aircraft using a model-based approach.
Softw. Syst. Model.
Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2020 J jnl
CDST: A Toolkit for Testing Cockpit Display Systems of Avionics.
CoRR
Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2020 A conf
CDST: A Toolkit for Testing Cockpit Display Systems.
ICST
Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2019 A conf
A Model-Based Testing Approach for Cockpit Display Systems of Avionics.
MoDELS
Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq, Ifrah Qaisar
2019 B conf
A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints.
SSBSE
Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2019 J jnl
AspectOCL: using aspects to ease maintenance of evolving constraint specification.
Empir. Softw. Eng.
Muhammad Uzair Khan, Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Usman, Numra Arshad