A Model-Based Testing Approach for Cockpit Display Systems of Avionics. - Muhammad Zohaib Iqbal; Hassan Sartaj; Muhammad Uzair Khan; Fitash Ul Haq; Ifrah Qaisar (MoDELS, 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 (SSBSE, 2019)

AspectOCL: using aspects to ease maintenance of evolving constraint specification. - Muhammad Uzair Khan; Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Usman 013; Numra Arshad (Empir. Softw. Eng., 2019)

CDST: A Toolkit for Testing Cockpit Display Systems. - Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (ICST, 2020)

CDST: A Toolkit for Testing Cockpit Display Systems of Avionics. - Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (CoRR, 2020)

Automated Approach for System-level Testing of Unmanned Aerial Systems. - Hassan Sartaj (ASE, 2021)

Testing cockpit display systems of aircraft using a model-based approach. - Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (Softw. Syst. Model., 2021)

HITA: An Architecture for System-level Testing of Healthcare IoT Applications. - Hassan Sartaj; Shaukat Ali 001; Tao Yue 002; Julie Marie Gjøby (ECSA (Tracks, Workshops and Doctoral Symposium), 2023)

Cost Reduction on Testing Evolving Cancer Registry System. - Erblin Isaku; Hassan Sartaj; Christoph Laaber; Tao Yue 002; Shaukat Ali 001; Thomas Schwitalla; Jan F. Nygård (ICSME, 2023)

Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned. - Hassan Sartaj; Shaukat Ali 001; Tao Yue 002; Kjetil Moberg (ESEC/SIGSOFT FSE, 2023)

HITA: An Architecture for System-level Testing of Healthcare IoT Applications. - Hassan Sartaj; Shaukat Ali 001; Tao Yue 002; Kjetil Moberg (CoRR, 2023)

Digital Twins Environment Simulation for Testing Healthcare IoT Applications. - Hassan Sartaj; Shaukat Ali 001; Julie Marie Gjøby (COMPSAC, 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)

REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application. - Hassan Sartaj; Shaukat Ali 001; Julie Marie Gjøby (CoRR, 2024)

Assessing Quantum Extreme Learning Machines for Software Testing in Practice. - Asmar Muqeet; Hassan Sartaj; Aitor Arrieta; Shaukat Ali 001; Paolo Arcaini; Maite Arratibel; Julie Marie Gjøby; Narasimha Raghavan Veeraragavan; Jan F. Nygård (CoRR, 2024)

Model-based digital twins of medicine dispensers for healthcare IoT applications. - Hassan Sartaj; Shaukat Ali 001; Tao Yue 002; Kjetil Moberg (Softw. Pract. Exp., 2024)

Automated system-level testing of unmanned aerial systems. - Hassan Sartaj; Asmar Muqeet; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (Autom. Softw. Eng., 2024)

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine. - Erblin Isaku; Christoph Laaber; Hassan Sartaj; Shaukat Ali 001; Thomas Schwitalla; Jan F. Nygård (ICST, 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., 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 001 (CoRR, 2025)

Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels. - Erblin Isaku; Hassan Sartaj; Shaukat Ali 001 (CoRR, 2025)

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models. - Hassan Sartaj; Jalil Boudjadar; Mirgita Frasheri; Shaukat Ali 001; Peter Gorm Larsen (CoRR, 2025)

Search-Based Software Engineering in the Landscape of AI Foundation Models. - Hassan Sartaj; Shaukat Ali 001 (CoRR, 2025)

Software Engineering for Self-Adaptive Robotics: A Research Agenda. - Shaukat Ali 001; Ana Cavalcanti 001; Cláudio Ângelo Gonçalves Gomes; Peter Gorm Larsen; Hassan Sartaj; Anastasios Tefas; Jim Woodcock 001; Houxiang Zhang (CoRR, 2025)

Uncertainty-aware environment simulation of medical devices digital twins. - Hassan Sartaj; Shaukat Ali 001; Julie Marie Gjøby (Softw. Syst. Model., 2025)

MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning. - Hassan Sartaj; Shaukat Ali 001; Julie Marie Gjøby (ACM Trans. Softw. Eng. Methodol., 2025)