Muhammad Zohaib Z. Iqbal

Orcid: 0000-0001-8190-5327

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automated System-level Testing of Unmanned Aerial Systems.
CoRR, 2024

Efficient Test Data Generation for MC/DC with OCL and Search.
CoRR, 2024

2023
QExplore: An exploration strategy for dynamic web applications using guided search.
J. Syst. Softw., 2023

Deriving and Evaluating a Detailed Taxonomy of Game Bugs.
CoRR, 2023

2022
Deriving and evaluating a fault model for testing data science applications.
J. Softw. Evol. Process., 2022

An automated search-based test model generation approach for structural testing of model transformations.
J. Softw. Evol. Process., 2022

2021
Testing cockpit display systems of aircraft using a model-based approach.
Softw. Syst. Model., 2021

An automated model-based approach to repair test suites of evolving web applications.
J. Syst. Softw., 2021

Comparing coverage criteria for dynamic web application: An empirical evaluation.
Comput. Stand. Interfaces, 2021

2020
An automated model-based approach for unit-level performance test generation of mobile applications.
J. Softw. Evol. Process., 2020

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

CDST: A Toolkit for Testing Cockpit Display Systems.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
Landscaping systematic mapping studies in software engineering: A tertiary study.
J. Syst. Softw., 2019

A systematic literature review of test breakage prevention and repair techniques.
Inf. Softw. Technol., 2019

AspectOCL: using aspects to ease maintenance of evolving constraint specification.
Empir. Softw. Eng., 2019

A Systematic Mapping Study on Testing of Machine Learning Programs.
CoRR, 2019

Chapter Three - Advances in Applications of Object Constraint Language for Software Engineering.
Adv. Comput., 2019

A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints.
Proceedings of the Search-Based Software Engineering - 11th International Symposium, 2019

A Model-Based Testing Approach for Cockpit Display Systems of Avionics.
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.
Comput. Stand. Interfaces, 2018

2017
A product-line model-driven engineering approach for generating feature-based mobile applications.
J. Syst. Softw., 2017

2016
Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach.
Empir. Softw. Eng., 2016

2015
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines.
Softw. Syst. Model., 2015

Environment modeling and simulation for automated testing of soft real-time embedded software.
Softw. Syst. Model., 2015

UMTG: a toolset to automatically generate system test cases from use case specifications.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

An automated model based testing approach for platform games.
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.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Empirical Evaluation of UML Modeling Tools-A Controlled Experiment.
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

AspectOCL: Extending OCL for Crosscutting Constraints.
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014
Insights on the Use of OCL in Diverse Industrial Applications.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines.
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.
Proceedings of the Theory and Practice of Model Transformations, 2014

Improved heuristics for solving OCL constraints using search algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Generating Test Data from OCL Constraints with Search Techniques.
IEEE Trans. Software Eng., 2013

2012
Environment model-based system testing of real-time embedded systems.
PhD thesis, 2012

Random Testing: Theoretical Results and Practical Implications.
IEEE Trans. Software Eng., 2012

Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Experiences of Applying UML/MARTE on Three Industrial Projects.
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.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

2011
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation.
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.
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.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Formal analysis of the effectiveness and predictability of random testing.
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.
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.
Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

Data Flow Analysis of UML Action Semantics for Executable Models.
Proceedings of the Model Driven Architecture, 2008

2007
A state-based approach to integration testing based on UML models.
Inf. Softw. Technol., 2007

An Automated Approach to System Testing Based on Scenarios and Operations Contracts.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Regression Testing Based on UML Design Models.
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

An approach for selective state machine based regression testing.
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007


  Loading...