Publications

A Toolkit for Testing Cockpit Display Systems of Avionics

Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan - Accepted in IEEE International Conference on Software Testing, (ICST) 2020, (CORE Ranked A Conference)

A Model-Based Testing Approach for Cockpit Display Systems of Avionics

Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq, Ifrah Qaisar - Accepted in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 67–77, 2019 (CORE Ranked A Conference)

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 - Accepted for publication in International Symposium on Search Based Software Engineering, 105-120 (2019)

A Systematic Literature Review of Test Breakage Prevention and Repair Techniques

Javaria Imtiaz, Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal - Accepted for publication in Information and Software Technology 113, 1-19 (2019)

Landscaping Systematic Mapping Studies in Software Engineering: A Tertiary Study

Muhammad Uzair Khan, Salman Sherin, Muhammad Zohaib Iqbal, Rubab Zahid - Accepted for publication in Journal of Systems and Software 149, 396-436 (2019)

A Systematic Mapping Study on Testing of Machine Learning Programs

Salman Sherin, Muhammad Zohaib Iqbal - Accepted for publication in arXiv preprint arXiv:1907.09427 (2019)

Advances in Applications of Object Constraint Language for Software Engineering

Atif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman - Accepted for publication in Advances in Computers 112, 135-184 (2019)

An Automated Model-Based Approach for Unit-Level Performance Test Generation of Mobile Applications

Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan - Accepted for publication in Journal of Software: Evolution and Process, e2215 (2019)

AspectOCL: Using Aspects to Ease Maintenance of Evolving Constraint Specification

Muhammad Uzair Khan, Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Usman, Numra Arshad - Accepted for publication in Empirical Software Engineering , 1-51 (2019)

Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing

Muhammad Uzair Khan, Sidra Iftikhar, Muhammad Zohaib Iqbal, Salman Sherin - Accepted for publication in Journal COMPUTER STANDARDS & INTERFACES 55, (2018 )156-170

A product-line model-driven engineering approach for generating feature-based mobile applications

Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan - Accepted for publication in Journal of Systems and Software 123 (2017): 1-32

Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach

Ali Shaukat, Muhammad Zohaib Iqbal, Maham Khalid, Andrea Arcuri - Accepted for publication in Empirical Software Engineering 21, no. 6 (2016): 2459-2502

An Automated Model-Based Testing Approach for Platform Games

Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood - Accepted for publication in ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS’15), 2015, Canada.

UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications

Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand and Muhammad Zohaib Iqbal - Accepted for publication at 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE' 15), September 2015, Italy

AspectOCL: An Extension to OCL for Specifying Crosscutting Constraints

Muhammad Uzair Khan, Numra Arshad, Muhammad Zohaib Iqbal, Hafsa Umer - Accepted for publication at European Conference on Modeling Foundations and Applications, (ECMFA' 15), Italy

Empirical Evaluation of UML Modeling Tools- A Controlled Experiment

Safdar Aqeel Safdar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan - Accepted for publication at European Conference on Modeling Foundations and Applications, (ECMFA' 15), Italy

Automatic Generation of System Test Cases from Use Case Specifications

Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand and Muhammad Zohaib Iqbal - Accepted for publication at International Symposium on Software Testing & Analysis (ISSTA' 15), Baltimore, USA

Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach

Ali Shaukat, Muhammad Zohaib Iqbal, Maham Khalid, Andrea Arcuri - Accepted for publication in Empirical Software Engineering 21, no. 6 (2016): 2459-2502

A Model-driven Approach to Generate Mobile Applications for Multiple Platforms

Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan - Accepted for publication at 21st Asia-Pacific Software Engineering Conference, Jeju, Korea, (APSEC) 2014

A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines

Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali - In 30th International Conference On Software Maintenance and Evolution (ICSME), 2014, (pp. 557-560). IEEE

Insights on the Use of OCL in Diverse Industrial Applications

Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Panesar-Walawege - In System Analysis and Modelling Conference (SAM), 2014 (pp 223-238)

Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines

Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel Briand - In Software and Systems Modeling Journal (SoSyM), 2014

A Search based Test Data Generation Approach for Model Transformations

Atif Aftab Jillani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan - In International Conference on Model Transformations (ICMT), 2014

Improved Heuristics for Solving OCL Constraints using Search Algorithms

Shaukat Ali, Muhammad Zohaib Iqbal - In Genetic and Evolutionary Computing Conference (GECCO), 2014, (Pages 1231-1238)

Generating Test Data from OCL Constraints with Search Techniques

Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand - In IEEE Transactions on Software Engineering, 39(10):1376 - 1402, 2013

Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software

Muhammad Zohaib Iqbal, Andrea Arcuri, LionelBriand - Accepted for publication in Software and Systems Modeling Journal (SoSyM), 2015

Random Testing: Theoretical Results and Practical Implications

Andrea Arcuri, Muhammad Zohaib Iqbal, Lionel Briand - In IEEE Transactions on Software Engineering, 38(2):258-277, 2012

Experiences of Applying UML/MARTE on Three Industrial Projects

Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel Briand – In Proceedings of ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), October 2012

Combining Search-based Testing and Adaptive Random Testing to Improve Environment Model-based Testing of Real-time Embedded Systems

Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand - In: Proceedings of Symposium on Search Based Software Engineering, September 2012

Empirical Investigation of Search Algorithms for Environment Model-based Testing of Real-Time Embedded Software

Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand - In: Proceedings of International Symposium on Software Testing and Analysis (ISSTA), ACM, 2012

A Search-based OCL Constraint Solver for Model-based Test Data Generation

Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand - In: Proceedings of the 11th International Conference On Quality Software (QSIC 2011), IEEE, 2011

Black-box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing

Andrea Arcuri, Muhammad Zohaib Iqbal, Lionel Briand - In: IFIP International Conference on Testing Software and Systems (ICTSS), 2010

Environment Modeling with UML/MARTE to Support Black-Box System Testing for RTOS

Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand - In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2010

Formal Analysis of the Effectiveness and Predictability of Random Testing

Andrea Arcuri, Muhammad Zohaib Iqbal, Lionel Briand - In: ACM International Symposium on Software Testing and Analysis (ISSTA), 2010 (ACM Distinguished Paper Award)

A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support

Qurat-ul-an Farooq, Muhammad Zohaib Iqbal, Zafar Malik, Matthias Riebisch - In proceedings of 17th IEEE International Conference on Engineering of Computer-Based Systems (ECBS), pp. 41-49, ISBN: 978-0-7695-4005-4, May 2010, Oxford, UK

Model-Based Testing of Web Service Composition Using UML Profile

Irum Rauf, Muhammad Zohaib Iqbal, Zafar I Malik - In proceedings of 2nd Workshop on Model-based Testing in Practice, CTIT Workshop Proceedings Series WP09-08, pp 75 -84, ISSN 0929-0672, June 2009, Enschede, Netherlands

UML-Based Modeling of Web Service Composition - A Survey

Irum Rauf, Muhammad Zohaib Iqbal, Zafar I Malik - In proceedings of IEEE 6th International Conference on Software Engineering Research, Management and Applications (SERA’ 2008), August, 2008, Czech Republic, sera, pp.301-307

Data Flow Analysis of UML Action Semantics for Executable Models

Tabinda Waheed, Muhammad Zohaib Iqbal, Zafar I Malik - In proceedings of 2008 European Conference on Model Driven Architecture Foundations and Applications (ECMDA) 2008, Lecture Notes in Computer Science (LNCS), Springer – Verlag, Berlin Heidelberg 2008. Volume 5098/2008, pp 79 – 93, 2008

Regression Testing based on UML Design Models

Atifah Ali, Aamer Nadeem, Muhammad Zohaib Iqbal, Mohammad Usman - In proceedings of 13th IEEE Pacific Rim International Symposium on Dependable Computing(PRDC – 2007), Melbourne, Australia, December, 2007, ISBN: 0-7695-3054-0, doi: 10.1109/PRDC.2007.58

An Automated Approach to System Testing based on Scenarios and Operations Contracts

Najla Raza, Aamer Nadeem, Muhammad Zohaib Iqbal - In proceedings of Seventh International Conference on Quality Software (IEEE - QSIC, 2007), USA, October 2007, pages: 256-261, ISBN:978-0-7695-3035-2, doi: 10.1109/QSIC.2007.4385504

An Approach to Selective State-Machine based Regression Testing

Qurat-ulann Farooq, Muhammad Zohaib Iqbal, Zafar I. Malik, Aamer - In proceedings of 3rd International Workshop on Advances in Model-based Testing (AMOST, 2007), London, UK, July 2007, pages: 44-52, ISBN:978-1-59593-850-3, doi 10.1145/1291535.1291540

A State-based Approach to Integration Testing based on UML Models

Shaukat Ali, Lionel Briand, Muhammad Jaffar-ur Rehman,Hajra Asghar, Muhammad Zohaib Iqbal, Aamer Nadeem - Information and Software Technology49(11-12):1087-1106 , 2007