Publications

“A model-based testing approach for cockpit display systems of avionics”

<Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq, Ifrah Qaisar “A model-based testing approach for cockpit display systems of avionics.” , 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 Toolkit for Testing Cockpit Display Systems of Avionics”

Hassan Sartaj, <Muhammad Zohaib Iqbal, Muhammad Uzair Khan, "A Toolkit for Testing Cockpit Display Systems of Avionics.” , accepted in IEEE International Conference on Software Testing, (ICST) 2020, (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, "A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints." , 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, "A systematic literature review of test breakage prevention and repair techniques." , 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, "Landscaping systematic mapping studies in software engineering: A tertiary study." , 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, "A Systematic Mapping Study on Testing of Machine Learning Programs." , 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, "Advances in Applications of Object Constraint Language for Software Engineering." , 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, "An automated model-based approach for unit-level performance test generation of mobile applications." , 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 "AspectOCL: using aspects to ease maintenance of evolving constraint specification." , 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, "Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing." , 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, "A product-line model-driven engineering approach for generating feature-based mobile applications." , 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 , "Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach." , 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 , An Automated Model-Based Testing Approach for Platform Games , 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, UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications, 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 , AspectOCL: An Extension to OCL for Specifying Crosscutting Constraints , 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, Empirical Evaluation of UML Modeling Tools- A Controlled Experiment , 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, Automatic Generation of System Test Cases from Use Case Specifications , 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

Shaukat Ali, Muhammad Zohaib Iqbal, Maham Khalid, Andrea Arcuri, Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach , accepted for publication in Empirical Software Engineering Journal (ESEM), 2015

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

Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, A Model-driven Approach to Generate Mobile Applications for Multiple Platforms , 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, A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines , 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, Insights on the Use of OCL in Diverse Industrial Applications, 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, Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines, 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 A Search based Test Data Generation Approach for Model Transformations, in International Conference on Model Transformations (ICMT), 2014

Improved Heuristics for Solving OCL Constraints using Search Algorithms

Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri Improved Heuristics for Solving OCL Constraints using Search Algorithms, 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,  Generating Test Data from OCL Constraints with Search Techniques , 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,  "Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software" , 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, " Random Testing :Theoretical Results and Practical Implications ", 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, " Experiences of Applying UML/MARTE on Three Industrial Projects ", 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, " Combining Search-based Testing and Adaptive Random Testing to Improve Environment Model-based Testing of Real-time Embedded Systems" , 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, " Empirical Investigation of Search Algorithms for Environment Model-based Testing of Real-Time Embedded Software" , 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, "A Search-based OCL Constraint Solver for Model-based Test Data Generation", 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, "Black-box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing", 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, "Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies", 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, "Formal Analysis of the Effectiveness and Predictability of Random Testing", 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, "A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support", 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 (Link)

Model-Based Testing of Web Service Composition Using UML Profile

Irum Rauf, Muhammad Zohaib Iqbal, Zafar I Malik, "Model-Based Testing of Web Service Composition Using UML Profile", 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, "UML-Based Modeling of Web Service Composition - A Survey", 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, "Data Flow Analysis of UML Action Semantics for Executable Models", 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, "Regression Testing based on UML Design Models", 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, "An Automated Approach to System Testing based on Scenarios and Operations Contracts", 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 Nadeem "An Approach to Selective State-Machine based Regression Testing", 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 "A State-based Approach to Integration Testing based on UML Models", Information and Software Technology49(11-12):1087-1106 , 2007

Top