| Aspectocl: using aspects to ease maintenance of evolving constraint specification MU Khan, H Sartaj, MZ Iqbal, M Usman, N Arshad Empirical Software Engineering 24, 2674-2724, 2019 | 19 | 2019 |
| Testing cockpit display systems of aircraft using a model-based approach H Sartaj, MZ Iqbal, MU Khan Software and Systems Modeling 20 (6), 1977–2002, 2021 | 18 | 2021 |
| A search-based approach to generate mc/dc test data for ocl constraints H Sartaj, MZ Iqbal, AAA Jilani, MU Khan Search-Based Software Engineering: 11th International Symposium, SSBSE 2019 …, 2019 | 17 | 2019 |
| A model-based testing approach for cockpit display systems of avionics MZ Iqbal, H Sartaj, MU Khan, FU Haq, I Qaisar 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 14 | 2019 |
| HITA: An Architecture for System-level Testing of Healthcare IoT Applications H Sartaj, S Ali, T Yue, JM Gjøby European Conference on Software Architecture, 451–468, 2023 | 10 | 2023 |
| Testing real-world healthcare iot application: Experiences and lessons learned H Sartaj, S Ali, T Yue, K Moberg Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 9 | 2023 |
| Cost Reduction on Testing Evolving Cancer Registry System E Isaku, H Sartaj, C Laaber, T Yue, S Ali, T Schwitalla, JF Nygård 2023 IEEE International Conference on Software Maintenance and Evolution …, 2023 | 9 | 2023 |
| Automated approach for system-level testing of unmanned aerial systems H Sartaj 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 8 | 2021 |
| Cdst: A toolkit for testing cockpit display systems H Sartaj, MZ Iqbal, MU Khan 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 8 | 2020 |
| Model‐based digital twins of medicine dispensers for healthcare IoT applications H Sartaj, S Ali, T Yue, K Moberg Software: Practice and Experience 54 (6), 1172-1192, 2024 | 7 | 2024 |
| LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine E Isaku, C Laaber, H Sartaj, S Ali, T Schwitalla, JF Nygård arXiv preprint arXiv:2404.03664, 2024 | 4 | 2024 |
| Automated system-level testing of unmanned aerial systems H Sartaj, A Muqeet, MZ Iqbal, MU Khan Automated Software Engineering 31, 1-48, 2024 | 2 | 2024 |
| Digital Twins Environment Simulation for Testing Healthcare IoT Applications H Sartaj, S Ali, JM Gjøby 2024 IEEE 48th Annual Computers, Software, and Applications Conference …, 2024 | 2 | 2024 |
| Efficient Test Data Generation for MC/DC with OCL and Search H Sartaj, MZ Iqbal, AAA Jilani, MU Khan arXiv preprint arXiv:2401.03469, 2024 | 2 | 2024 |
| CDST: A Toolkit for Testing Cockpit Display Systems of Avionics H Sartaj, MZ Iqbal, MU Khan arXiv preprint arXiv:2001.07869, 2020 | 2 | 2020 |
| Uncertainty-aware environment simulation of medical devices digital twins H Sartaj, S Ali, J Marie Gjøby Software and Systems Modeling, 1-27, 2024 | 1 | 2024 |
| Assessing Quantum Extreme Learning Machines for Software Testing in Practice A Muqeet, H Sartaj, A Arreieta, S Ali, P Arcaini, M Arratibel, JM Gjøby, ... arXiv preprint arXiv:2410.15494, 2024 | 1 | 2024 |
| REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application H Sartaj, S Ali, JM Gjøby arXiv preprint arXiv:2410.12547, 2024 | 1 | 2024 |
| MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning H Sartaj, S Ali, JM Gjøby ACM Transactions on Software Engineering and Methodology, 2024 | 1 | 2024 |
| Search‐Based MC/DC Test Data Generation With OCL Constraints H Sartaj, M Zohaib Iqbal, AA Ahmed Jilani, M Uzair Khan Software Testing, Verification and Reliability, e1906, 2024 | | 2024 |
Muhammad Zohaib IqbalCEO, Quest, PakistanVerified email at questlab.pk
