Muhammad Zohaib Z. Iqbal

According to our database, Muhammad Zohaib Z. Iqbal authored at least 51 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated System-level Testing of Unmanned Aerial Systems.

Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

CoRR, 2024

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

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

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

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

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

J. Softw. Evol. Process., 2022

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 model-based approach to repair test suites of evolving web applications.

Javaria Imtiaz, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

J. Syst. Softw., 2021

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

2020

An automated model-based approach for unit-level performance test generation of mobile applications.

Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

J. Softw. Evol. Process., 2020

CDST: A Toolkit for Testing Cockpit Display Systems of Avionics.

Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

CoRR, 2020

CDST: A Toolkit for Testing Cockpit Display Systems.

Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

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

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

AspectOCL: using aspects to ease maintenance of evolving constraint specification.

Muhammad Uzair Khan, Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Usman, Numra Arshad

Empir. Softw. Eng., 2019

A Systematic Mapping Study on Testing of Machine Learning Programs.

Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal

CoRR, 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

Adv. Comput., 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

Proceedings of the Search-Based Software Engineering - 11th International Symposium, 2019

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

Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq, Ifrah Qaisar

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

2018

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

2017

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

Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

J. Syst. Softw., 2017

2016

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

Empir. Softw. Eng., 2016

2015

Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines.

Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand

Softw. Syst. Model., 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

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

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

An automated model based testing approach for platform games.

Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Automatic generation of system test cases from use case specifications.

Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Empirical Evaluation of UML Modeling Tools-A Controlled Experiment.

Safdar Aqeel Safdar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

AspectOCL: Extending OCL for Crosscutting Constraints.

Muhammad Uzair Khan, Numra Arshad, Muhammad Zohaib Iqbal, Hafsa Umar

Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014

Insights on the Use of OCL in Diverse Industrial Applications.

Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

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

Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

A Search Based Test Data Generation Approach for Model Transformations.

Atif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan

Proceedings of the Theory and Practice of Model Transformations, 2014

Improved heuristics for solving OCL constraints using search algorithms.

Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms.

Muhammad Usman, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Generating Test Data from OCL Constraints with Search Techniques.

Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand

IEEE Trans. Software Eng., 2013

2012

Environment model-based system testing of real-time embedded systems.

Muhammad Zohaib Z. Iqbal

PhD thesis, 2012

Random Testing: Theoretical Results and Practical Implications.

Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand

IEEE Trans. Software Eng., 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

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Experiences of Applying UML/MARTE on Three Industrial Projects.

Muhammad Zohaib Z. Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Empirical investigation of search algorithms for environment model-based testing of real-time embedded software.

Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand

Proceedings of the International Symposium on Software Testing and Analysis, 2012

2011

A Search-Based OCL Constraint Solver for Model-Based Test Data Generation.

Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand

Proceedings of the 11th International Conference on Quality Software, 2011

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

Proceedings of the Testing Software and Systems, 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

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Formal analysis of the effectiveness and predictability of random testing.

Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

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

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2008

UML Based Modeling of Web Service Composition - A Survey.

Irum Rauf, Muhammad Zohaib Z. Iqbal, Zafar I. Malik

Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

Data Flow Analysis of UML Action Semantics for Executable Models.

Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik

Proceedings of the Model Driven Architecture, 2008

2007

A state-based approach to integration testing based on UML models.

Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur Rehman, Hajra Asghar, Muhammad Zohaib Z. Iqbal, Aamer Nadeem

Inf. Softw. Technol., 2007

An Automated Approach to System Testing Based on Scenarios and Operations Contracts.

Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Regression Testing Based on UML Design Models.

Atifah Ali, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, Muhammad Usman

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

An approach for selective state machine based regression testing.

Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Aamer Nadeem

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007