Muhammad Zohaib Iqbal

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 24

Top Topics

Web Applications

Exploration Strategy

Constraint Language

Top Venues

J. Syst. Softw.

J. Softw. Evol. Process.

Publications

Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
Efficient Test Data Generation for MC/DC with OCL and Search. CoRR (2024)
Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
Automated System-level Testing of Unmanned Aerial Systems. CoRR (2024)
Salman Sherin, Asmar Muqeet, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
QExplore: An exploration strategy for dynamic web applications using guided search. J. Syst. Softw. 195 (2023)
Nigar Azhar Butt, Salman Sherin, Muhammad Uzair Khan, Atif Aftab Jilani, Muhammad Zohaib Iqbal
Deriving and Evaluating a Detailed Taxonomy of Game Bugs. CoRR (2023)
Atif Aftab Jilani, Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Muhammad Usman
An automated search-based test model generation approach for structural testing of model transformations. J. Softw. Evol. Process. 34 (11) (2022)
Atif Aftab Jilani, Salman Sherin, Sidra Ijaz, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
Deriving and evaluating a fault model for testing data science applications. J. Softw. Evol. Process. 34 (5) (2022)
Salman Sherin, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Atif Aftab Jilani
Comparing coverage criteria for dynamic web application: An empirical evaluation. Comput. Stand. Interfaces 73 (2021)
Javaria Imtiaz, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
An automated model-based approach to repair test suites of evolving web applications. J. Syst. Softw. 171 (2021)
Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
Testing cockpit display systems of aircraft using a model-based approach. Softw. Syst. Model. 20 (6) (2021)
Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
An automated model-based approach for unit-level performance test generation of mobile applications. J. Softw. Evol. Process. 32 (1) (2020)
Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
CDST: A Toolkit for Testing Cockpit Display Systems of Avionics. CoRR (2020)
Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
CDST: A Toolkit for Testing Cockpit Display Systems. ICST (2020)
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. SSBSE (2019)
Javaria Imtiaz, Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
A systematic literature review of test breakage prevention and repair techniques. Inf. Softw. Technol. 113 (2019)
Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
A Systematic Mapping Study on Testing of Machine Learning Programs. CoRR (2019)
Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq, Ifrah Qaisar
A Model-Based Testing Approach for Cockpit Display Systems of Avionics. MoDELS (2019)
Muhammad Uzair Khan, Salman Sherin, Muhammad Zohaib Iqbal, Rubab Zahid
Landscaping Systematic Mapping Studies in Software Engineering: A Tertiary Study. CoRR (2019)
Muhammad Uzair Khan, Salman Sherin, Muhammad Zohaib Iqbal, Rubab Zahid
Landscaping systematic mapping studies in software engineering: A tertiary study. J. Syst. Softw. 149 (2019)
Atif A. A. Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman
Chapter Three - Advances in Applications of Object Constraint Language for Software Engineering. Adv. Comput. 112 (2019)
Javaria Imtiaz, Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
A Systematic Literature Review of Test Breakage Prevention and Repair Techniques. CoRR (2019)
Muhammad Uzair Khan, Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Usman, Numra Arshad
AspectOCL: using aspects to ease maintenance of evolving constraint specification. Empir. Softw. Eng. 24 (4) (2019)
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. Comput. Stand. Interfaces 55 (2018)
Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
A product-line model-driven engineering approach for generating feature-based mobile applications. J. Syst. Softw. 123 (2017)
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. Empir. Softw. Eng. 21 (6) (2016)
Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. Softw. Syst. Model. 14 (4) (2015)
Safdar Aqeel Safdar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
Empirical Evaluation of UML Modeling Tools-A Controlled Experiment. ECMFA (2015)
Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood
An automated model based testing approach for platform games. MoDELS (2015)
Muhammad Uzair Khan, Numra Arshad, Muhammad Zohaib Iqbal, Hafsa Umar
AspectOCL: Extending OCL for Crosscutting Constraints. ECMFA (2015)
Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri
Improved heuristics for solving OCL constraints using search algorithms. GECCO (2014)
Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege
Insights on the Use of OCL in Diverse Industrial Applications. SAM (2014)
Atif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
A Search Based Test Data Generation Approach for Model Transformations. ICMT (2014)
Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali
A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. ICSME (2014)