An approach for selective state machine based regression testing. - Qurat-ul-ann Farooq; Muhammad Zohaib Z. Iqbal; Zafar I. Malik; Aamer Nadeem (A-MOST, 2007)

Regression Testing Based on UML Design Models. - Atifah Ali; Aamer Nadeem; Muhammad Zohaib Z. Iqbal; Muhammad Usman 013 (PRDC, 2007)

An Automated Approach to System Testing Based on Scenarios and Operations Contracts. - Najla Raza; Aamer Nadeem; Muhammad Zohaib Z. Iqbal (QSIC, 2007)

A state-based approach to integration testing based on UML models. - Shaukat Ali 001; Lionel C. Briand; Muhammad Jaffar-Ur Rehman; Hajra Asghar; Muhammad Zohaib Z. Iqbal; Aamer Nadeem (Inf. Softw. Technol., 2007)

Data Flow Analysis of UML Action Semantics for Executable Models. - Tabinda Waheed; Muhammad Zohaib Z. Iqbal; Zafar I. Malik (ECMDA-FA, 2008)

UML Based Modeling of Web Service Composition - A Survey. - Irum Rauf; Muhammad Zohaib Z. Iqbal; Zafar I. Malik (SERA, 2008)

A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support. - Qurat-ul-ann Farooq; Muhammad Zohaib Z. Iqbal; Zafar I. Malik; Matthias Riebisch (ECBS, 2010)

Formal analysis of the effectiveness and predictability of random testing. - Andrea Arcuri; Muhammad Zohaib Z. Iqbal; Lionel C. Briand (ISSTA, 2010)

Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies. - Muhammad Zohaib Z. Iqbal; Andrea Arcuri; Lionel C. Briand (MoDELS (1), 2010)

Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing. - Andrea Arcuri; Muhammad Zohaib Z. Iqbal; Lionel C. Briand (ICTSS, 2010)

A Search-Based OCL Constraint Solver for Model-Based Test Data Generation. - Shaukat Ali 001; Muhammad Zohaib Z. Iqbal; Andrea Arcuri; Lionel C. Briand (QSIC, 2011)

Empirical investigation of search algorithms for environment model-based testing of real-time embedded software. - Muhammad Zohaib Z. Iqbal; Andrea Arcuri; Lionel C. Briand (ISSTA, 2012)

Experiences of Applying UML/MARTE on Three Industrial Projects. - Muhammad Zohaib Z. Iqbal; Shaukat Ali 001; Tao Yue 002; Lionel C. Briand (MoDELS, 2012)

Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems. - Muhammad Zohaib Z. Iqbal; Andrea Arcuri; Lionel C. Briand (SSBSE, 2012)

Random Testing: Theoretical Results and Practical Implications. - Andrea Arcuri; Muhammad Zohaib Z. Iqbal; Lionel C. Briand (IEEE Trans. Software Eng., 2012)

Environment model-based system testing of real-time embedded systems. - Muhammad Zohaib Z. Iqbal (2012)

Generating Test Data from OCL Constraints with Search Techniques. - Shaukat Ali 001; Muhammad Zohaib Z. Iqbal; Andrea Arcuri; Lionel C. Briand (IEEE Trans. Software Eng., 2013)

A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms. - Muhammad Usman 013; Muhammad Zohaib Z. Iqbal; Muhammad Uzair Khan (APSEC (1), 2014)

Improved heuristics for solving OCL constraints using search algorithms. - Shaukat Ali 001; Muhammad Zohaib Iqbal; Andrea Arcuri (GECCO, 2014)

A Search Based Test Data Generation Approach for Model Transformations. - Atif Aftab Jilani; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (ICMT, 2014)

A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. - Muhammad Uzair Khan; Muhammad Zohaib Iqbal; Shaukat Ali 001 (ICSME, 2014)

Insights on the Use of OCL in Diverse Industrial Applications. - Shaukat Ali 001; Tao Yue 002; Muhammad Zohaib Iqbal; Rajwinder Kaur Panesar-Walawege (SAM, 2014)

AspectOCL: Extending OCL for Crosscutting Constraints. - Muhammad Uzair Khan; Numra Arshad; Muhammad Zohaib Iqbal; Hafsa Umar (ECMFA, 2015)

Empirical Evaluation of UML Modeling Tools-A Controlled Experiment. - Safdar Aqeel Safdar; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (ECMFA, 2015)

Automatic generation of system test cases from use case specifications. - Chunhui Wang; Fabrizio Pastore; Arda Goknil; Lionel C. Briand; Muhammad Zohaib Z. Iqbal (ISSTA, 2015)

An automated model based testing approach for platform games. - Sidra Iftikhar; Muhammad Zohaib Iqbal; Muhammad Uzair Khan; Wardah Mahmood (MoDELS, 2015)

UMTG: a toolset to automatically generate system test cases from use case specifications. - Chunhui Wang; Fabrizio Pastore; Arda Goknil; Lionel C. Briand; Muhammad Zohaib Z. Iqbal (ESEC/SIGSOFT FSE, 2015)

Environment modeling and simulation for automated testing of soft real-time embedded software. - Muhammad Zohaib Z. Iqbal; Andrea Arcuri; Lionel C. Briand (Softw. Syst. Model., 2015)

Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. - Muhammad Zohaib Iqbal; Shaukat Ali 001; Tao Yue 002; Lionel C. Briand (Softw. Syst. Model., 2015)

Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach. - Shaukat Ali 001; Muhammad Zohaib Iqbal; Maham Khalid; Andrea Arcuri (Empir. Softw. Eng., 2016)

A product-line model-driven engineering approach for generating feature-based mobile applications. - Muhammad Usman 013; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (J. Syst. Softw., 2017)

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 (Comput. Stand. Interfaces, 2018)

A Model-Based Testing Approach for Cockpit Display Systems of Avionics. - Muhammad Zohaib Iqbal; Hassan Sartaj; Muhammad Uzair Khan; Fitash Ul Haq; Ifrah Qaisar (MoDELS, 2019)

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 (SSBSE, 2019)

Chapter Three - Advances in Applications of Object Constraint Language for Software Engineering. - Atif A. A. Jilani; Muhammad Zohaib Iqbal; Muhammad Uzair Khan; Muhammad Usman 013 (Adv. Comput., 2019)

A Systematic Mapping Study on Testing of Machine Learning Programs. - Salman Sherin; Muhammad Uzair Khan; Muhammad Zohaib Iqbal (CoRR, 2019)

AspectOCL: using aspects to ease maintenance of evolving constraint specification. - Muhammad Uzair Khan; Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Usman 013; Numra Arshad (Empir. Softw. Eng., 2019)

A systematic literature review of test breakage prevention and repair techniques. - Javaria Imtiaz; Salman Sherin; Muhammad Uzair Khan; Muhammad Zohaib Iqbal (Inf. Softw. Technol., 2019)

Landscaping systematic mapping studies in software engineering: A tertiary study. - Muhammad Uzair Khan; Salman Sherin; Muhammad Zohaib Iqbal; Rubab Zahid (J. Syst. Softw., 2019)

CDST: A Toolkit for Testing Cockpit Display Systems. - Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (ICST, 2020)

CDST: A Toolkit for Testing Cockpit Display Systems of Avionics. - Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (CoRR, 2020)

An automated model-based approach for unit-level performance test generation of mobile applications. - Muhammad Usman 013; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (J. Softw. Evol. Process., 2020)

Comparing coverage criteria for dynamic web application: An empirical evaluation. - Salman Sherin; Muhammad Zohaib Iqbal; Muhammad Uzair Khan; Atif Aftab Jilani (Comput. Stand. Interfaces, 2021)

An automated model-based approach to repair test suites of evolving web applications. - Javaria Imtiaz; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (J. Syst. Softw., 2021)

Testing cockpit display systems of aircraft using a model-based approach. - Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (Softw. Syst. Model., 2021)

An automated search-based test model generation approach for structural testing of model transformations. - Atif Aftab Jilani; Muhammad Uzair Khan; Muhammad Zohaib Iqbal; Muhammad Usman 013 (J. Softw. Evol. Process., 2022)

Deriving and evaluating a fault model for testing data science applications. - Atif Aftab Jilani; Salman Sherin; Sidra Ijaz; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (J. Softw. Evol. Process., 2022)

Deriving and Evaluating a Detailed Taxonomy of Game Bugs. - Nigar Azhar Butt; Salman Sherin; Muhammad Uzair Khan; Atif Aftab Jilani; Muhammad Zohaib Iqbal (CoRR, 2023)

QExplore: An exploration strategy for dynamic web applications using guided search. - Salman Sherin; Asmar Muqeet; Muhammad Uzair Khan; Muhammad Zohaib Iqbal (J. Syst. Softw., 2023)

Efficient Test Data Generation for MC/DC with OCL and Search. - Hassan Sartaj; Muhammad Zohaib Iqbal; Atif Aftab Ahmed Jilani; Muhammad Uzair Khan (CoRR, 2024)

An automated model-based testing approach for the self-adaptive behavior of the unmanned aircraft system application software. - Zainab Javed; Muhammad Zohaib Iqbal; Muhammad Uzair Khan; Muhammad Usman 013; Atif Aftab Ahmed Jilani (Softw. Pract. Exp., 2024)

Automated system-level testing of unmanned aerial systems. - Hassan Sartaj; Asmar Muqeet; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (Autom. Softw. Eng., 2024)

A hybrid search and model-based approach for testing the self-adaptive unmanned aircraft system software. - Zainab Javed; Muhammad Zohaib Iqbal; Muhammad Uzair Khan; Muhammad Usman 013; Atif Aftab Ahmed Jilani (Comput. Stand. Interfaces, 2025)

Search-Based MC/DC Test Data Generation With OCL Constraints. - Hassan Sartaj; Muhammad Zohaib Iqbal; Atif Aftab Ahmed Jilani; Muhammad Uzair Khan (Softw. Test. Verification Reliab., 2025)