Dr. Hassan Sartaj

Dr. Hassan Sartaj

Associate Professor

hassan.sartaj@ucp.edu.pk
Ext: 7808

Dr. Hassan Sartaj is an Associate Professor in the Faculty of Information Technology at the University of Central Punjab (UCP), Lahore. Prior to joining UCP, he was a Postdoctoral Fellow at Simula Research Laboratory, Oslo, Norway, where he worked on European Union and Research Council of Norway-funded research projects in collaboration with European industry partners. He also served as an Assistant Professor and Visiting Lecturer at FAST-NUCES, Islamabad, where he taught various courses in computer science department. He holds a Ph.D. in Software Engineering from FAST-NUCES, Islamabad, and earned a Gold Medal in his MS (Software Engineering). He is an HEC-Approved Supervisor. His research interests include AI-driven Software Testing, Digital Twins, Model-Driven Engineering, and Search-Based Software Engineering. He has established strong international research collaborations with leading universities and research organizations across Europe.

Dr. Hassan has published extensively in leading software engineering journals and conferences, including ACM Transactions on Software Engineering and Methodology (TOSEM), Empirical Software Engineering (EMSE), ICSE, FSE, ASE, ICST, MODELS, and ECSA, with numerous publications appearing in CORE A* and CORE A venues. He has supervised and co-supervised Ph.D. and master’s students in Pakistan and Europe. He is an active reviewer for top-tier journals such as IEEE Transactions on Software Engineering (TSE), ACM TOSEM, and EMSE. He is also actively involved in the international research community through service as Proceedings Chair of major international conferences and as a Program Committee (PC) Member for flagship venues including FSE, ASE, ICST, MODELS, ESEM, ISSTA, and ICSE.

PhD Software Engineering National University of Computer & Emerging Sciences, FAST, Islamabad, Pakistan 2021
MS Software Engineering National University of Computer & Emerging Sciences, FAST, Islamabad, Pakistan 2017
BS Computer Science National University of Computer & Emerging Sciences, FAST, Islamabad, Pakistan 2014
Associate Professor University of Central Punjab (UCP), Lahore, Pakistan Jul 2026 – Present
Postdoctoral Fellow Simula Research Laboratory, Oslo, Norway Sep 2022 – May 2026
Assistant Professor National University of Computer & Emerging Sciences, FAST, Islamabad, Pakistan Jan 2022 – Jul 2022
Visiting Lecturer National University of Computer & Emerging Sciences, FAST, Islamabad, Pakistan Mar 2021 – Dec 2021

Click to View

  • Software Engineering for Self-Adaptive Robotics: A Research AgendaACM Transactions on Software Engineering and Methodology (TOSEM)2026
  • Foundation Models for Software Engineering of Cyber-Physical Systems: the Road AheadACM Transactions on Software Engineering and Methodology (TOSEM)2026
  • Rest API Testing in DevOps: A Study on an Evolving Healthcare IoT ApplicationACM Transactions on Software Engineering and Methodology (TOSEM)2026
  • Digital Twin-Based Out-of-Distribution Detection in Autonomous VesselsACM Transactions on Software Engineering and Methodology (TOSEM)2026
  • Identifying Uncertainty in Self-Adaptive Robotics with Large Language ModelsIEEE Software2026
  • MeDeT: Medical Device Digital Twins Creation with Few-Shot Meta-LearningACM Transactions on Software Engineering and Methodology (TOSEM)2025
  • Uncertainty-Aware Environment Simulation of Medical Devices Digital TwinsSoftware and Systems Modeling2025
  • LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule EngineIEEE Conference on Software Testing, Verification and Validation (ICST)2025
  • Search-Based MC/DC Test Data Generation With OCL ConstraintsSoftware Testing, Verification and Reliability2025
  • Automated System-Level Testing of Unmanned Aerial SystemsAutomated Software Engineering2024
  • Digital Twins Environment Simulation for Testing Healthcare IoT ApplicationsIEEE Computers, Software, and Applications Conference (COMPSAC)2024
  • Model-Based Digital Twins of Medicine Dispensers for Healthcare IoT ApplicationsSoftware: Practice and Experience2024
  • Testing Real-World Healthcare IoT Application: Experiences and Lessons LearnedACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)2023
  • Cost Reduction on Testing Evolving Cancer Registry SystemIEEE International Conference on Software Maintenance and Evolution (ICSME)2023
  • HITA: An Architecture for System-Level Testing of Healthcare IoT ApplicationsEuropean Conference on Software Architecture (ECSA)2023
  • Testing Cockpit Display Systems of Aircraft Using a Model-Based ApproachSoftware and Systems Modeling2021
  • Automated Approach for System-Level Testing of Unmanned Aerial SystemsIEEE/ACM International Conference on Automated Software Engineering (ASE)2021
  • CDST: A Toolkit for Testing Cockpit Display SystemsIEEE International Conference on Software Testing, Validation and Verification (ICST)2020
  • A Model-Based Testing Approach for Cockpit Display Systems of AvionicsACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)2019
  • AspectOCL: Using Aspects to Ease Maintenance of Evolving Constraint SpecificationEmpirical Software Engineering2019
  • A Search-Based Approach to Generate MC/DC Test Data for OCL ConstraintsInternational Symposium on Search Based Software Engineering (SSBSE)2019

International Programs Merit List Apply Online Our Newsletter