| 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 | 14 | 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 | 12 | 2021 |
| 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 | 11 | 2019 |
| 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 | 11 | 2019 |
| 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 | 5 | 2020 |
| 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 | 4 | 2023 |
| Automated approach for system-level testing of unmanned aerial systems H Sartaj 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 4 | 2021 |
| 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 | 3 | 2023 |
| HITA: An Architecture for System-level Testing of Healthcare IoT Applications H Sartaj, S Ali, T Yue, K Moberg arXiv preprint arXiv:2309.04223, 2023 | 3 | 2023 |
| 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 | 1 | 2024 |
| CDST: A Toolkit for Testing Cockpit Display Systems of Avionics H Sartaj, MZ Iqbal, MU Khan arXiv preprint arXiv:2001.07869, 2020 | 1 | 2020 |
| Automated System-level Testing of Unmanned Aerial Systems H Sartaj, A Muqeet, MZ Iqbal, MU Khan arXiv preprint arXiv:2403.15857, 2024 | | 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 | | 2024 |
| Model‐based digital twins of medicine dispensers for healthcare IoT applications H Sartaj, S Ali, T Yue, K Moberg Software: Practice and Experience, 1-21, 2024 | | 2024 |
