Hassan Sartaj

According to our database, Hassan Sartaj authored at least 13 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Automated System-level Testing of Unmanned Aerial Systems.

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

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

2023

Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications.

Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg

CoRR, 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

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