Hassan Sartaj

According to our database, Hassan Sartaj authored at least 26 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning.

Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby

ACM Trans. Softw. Eng. Methodol., July, 2025

Uncertainty-aware environment simulation of medical devices digital twins.

Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby

Softw. Syst. Model., June, 2025

Software Engineering for Self-Adaptive Robotics: A Research Agenda.

Shaukat Ali, Ana Cavalcanti, Cláudio Ângelo Gonçalves Gomes, Peter Gorm Larsen, Hassan Sartaj, Anastasios Tefas, Jim Woodcock, Houxiang Zhang

CoRR, May, 2025

Search-Based Software Engineering in the Landscape of AI Foundation Models.

Hassan Sartaj, Shaukat Ali

CoRR, May, 2025

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models.

Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri, Shaukat Ali, Peter Gorm Larsen

CoRR, April, 2025

Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels.

Erblin Isaku, Hassan Sartaj, Shaukat Ali

CoRR, April, 2025

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead.

Chengjie Lu, Pablo Valle, Jiahui Wu, Erblin Isaku, Hassan Sartaj, Aitor Arrieta, Shaukat Ali

CoRR, April, 2025

Search-Based MC/DC Test Data Generation With OCL Constraints.

Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan

Softw. Test. Verification Reliab., January, 2025

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine.

Erblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2024

Automated system-level testing of unmanned aerial systems.

Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

Autom. Softw. Eng., November, 2024

Model-based digital twins of medicine dispensers for healthcare IoT applications.

Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg

Softw. Pract. Exp., 2024

Assessing Quantum Extreme Learning Machines for Software Testing in Practice.

Asmar Muqeet, Hassan Sartaj, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Maite Arratibel, Julie Marie Gjøby, Narasimha Raghavan Veeraragavan, Jan F. Nygård

CoRR, 2024

REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application.

Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby

CoRR, 2024

Efficient Test Data Generation for MC/DC with OCL and Search.

Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan

CoRR, 2024

Digital Twins Environment Simulation for Testing Healthcare IoT Applications.

Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

HITA: An Architecture for System-level Testing of Healthcare IoT Applications.

Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg

CoRR, 2023

Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned.

Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Cost Reduction on Testing Evolving Cancer Registry System.

Erblin Isaku, Hassan Sartaj, Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

HITA: An Architecture for System-level Testing of Healthcare IoT Applications.

Hassan Sartaj, Shaukat Ali, Tao Yue, Julie Marie Gjøby

Proceedings of the Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, 2023

2021

Testing cockpit display systems of aircraft using a model-based approach.

Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

Softw. Syst. Model., 2021

Automated Approach for System-level Testing of Unmanned Aerial Systems.

Hassan Sartaj

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

CDST: A Toolkit for Testing Cockpit Display Systems of Avionics.

Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

CoRR, 2020

CDST: A Toolkit for Testing Cockpit Display Systems.

Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

AspectOCL: using aspects to ease maintenance of evolving constraint specification.

Muhammad Uzair Khan, Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Usman, Numra Arshad

Empir. Softw. Eng., 2019

A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints.

Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan

Proceedings of the Search-Based Software Engineering - 11th International Symposium, 2019

A Model-Based Testing Approach for Cockpit Display Systems of Avionics.

Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq, Ifrah Qaisar

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019