Get started
Author

Hassan Sartaj

Observed name: Sartaj, Hassan
ORCID: 0000-0001-5212-9787
Observed ORCID: 0000-0001-5212-9787
OpenAlex ID: A5072908431
Testing cockpit display systems of aircraft using a model-based approach
2021 · Hassan Sartaj, Muhammad Zohaib Iqbal, et al. · Software & Systems Modeling · 22
Model‐based digital twins of medicine dispensers for healthcare IoT applications
2024 · Hassan Sartaj, Shaukat Ali, et al. · Software Practice and Experience · 19
PDF
AspectOCL: using aspects to ease maintenance of evolving constraint specification
2019 · Muhammad Uzair Khan, Hassan Sartaj, et al. · Empirical Software Engineering · 16
Automated system-level testing of unmanned aerial systems
2024 · Hassan Sartaj, Asmar Muqeet, et al. · Automated Software Engineering · 15
PDF
A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints
2019 · Hassan Sartaj, Muhammad Zohaib Iqbal, et al. · Lecture notes in computer science · 13
REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application
2025 · Hassan Sartaj, Shaukat Ali, et al. · ACM Transactions on Software Engineering and Methodology · 12
PDF
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned
2023 · Hassan Sartaj, Shaukat Ali, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 10
PDF
Automated Approach for System-level Testing of Unmanned Aerial Systems
2021 · Hassan Sartaj · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 10
A Model-Based Testing Approach for Cockpit Display Systems of Avionics
2019 · Muhammad Zohaib Iqbal, Hassan Sartaj, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · 10
PDF
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning
2024 · Hassan Sartaj, Shaukat Ali, et al. · ACM Transactions on Software Engineering and Methodology · 9
PDF
HITA: An Architecture for System-level Testing of Healthcare IoT Applications
2024 · Hassan Sartaj, Shaukat Ali, et al. · Lecture notes in computer science · 9
PDF
CDST: A Toolkit for Testing Cockpit Display Systems
2020 · Hassan Sartaj, Muhammad Zohaib Iqbal, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 9
PDF
Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
2026 · Erblin Isaku, Hassan Sartaj, et al. · ACM Transactions on Software Engineering and Methodology · 8
PDF
Search‐Based MC/DC Test Data Generation With OCL Constraints
2024 · Hassan Sartaj, Muhammad Zohaib Iqbal, et al. · Software Testing Verification and Reliability · 7
PDF
Uncertainty-aware environment simulation of medical devices digital twins
2024 · Hassan Sartaj, Shaukat Ali, et al. · Software & Systems Modeling · 7
PDF
Search-based software engineering and AI foundation models: Current landscape and future roadmap
2026 · Hassan Sartaj, Shaukat Ali, et al. · Journal of Systems and Software · 6
PDF
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
2025 · Erblin Isaku, Hassan Sartaj, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 6
PDF
Assessing Quantum Extreme Learning Machines for Software Testing in Practice
2024 · Muqeet, Asmar, Sartaj, Hassan, et al. · arXiv (Cornell University) · 6
PDF
Cost Reduction on Testing Evolving Cancer Registry System
2023 · Erblin Isaku, Hassan Sartaj, et al. · IEEE International Conference on Software Maintenance (ICSM) · 6
PDF
Foundation Models for Software Engineering of Cyber-Physical Systems: The Road Ahead
2026 · Chengjie Lu, Pablo Valle, et al. · ACM Transactions on Software Engineering and Methodology · 5
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
2025 · Erblin Isaku, Christoph Laaber, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 5
PDF
Software Engineering for Self-Adaptive Robotics: A Research Agenda
2026 · Hassan Sartaj, Shaukat Ali, et al. · ACM Transactions on Software Engineering and Methodology · 3
Identifying Uncertainty in Self-Adaptive Robotics With Large Language Models
2025 · Hassan Sartaj, Jalil Boudjadar, et al. · IEEE Software · 3
Digital Twins Environment Simulation for Testing Healthcare IoT Applications
2024 · Hassan Sartaj, Shaukat Ali, et al. · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 2
Replication Package – "Search-Based Testing of Privacy Requirements: A Case Study in Robotic Systems"
2026 · Kurkchi, Yelyzaveta, Sartaj, Hassan, et al. · Zenodo (CERN European Organization for Nuclear Research)
Works count: 29
Citation count: 218
H-index: 9
I10-index: 9
Year
Topic
Type