default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMuhammad Zohaib Z. Iqbal
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i7]Hassan Sartaj
, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan:
Efficient Test Data Generation for MC/DC with OCL and Search. CoRR abs/2401.03469 (2024)- [i6]Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal, Muhammad Uzair Khan:
Automated System-level Testing of Unmanned Aerial Systems. CoRR abs/2403.15857 (2024) - 2023
- [j19]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: 111512 (2023) - [i5]Nigar Azhar Butt, Salman Sherin, Muhammad Uzair Khan, Atif Aftab Jilani, Muhammad Zohaib Iqbal:
Deriving and Evaluating a Detailed Taxonomy of Game Bugs. CoRR abs/2311.16645 (2023) - 2022
- [j18]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) - [j17]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) - 2021
- [j16]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: 103467 (2021) - [j15]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: 110841 (2021) - [j14]Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan:
Testing cockpit display systems of aircraft using a model-based approach. Softw. Syst. Model. 20(6): 1977-2002 (2021) - 2020
- [j13]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) - [c26]Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan:
CDST: A Toolkit for Testing Cockpit Display Systems. ICST 2020: 436-441 - [i4]Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan:
CDST: A Toolkit for Testing Cockpit Display Systems of Avionics. CoRR abs/2001.07869 (2020)
2010 – 2019
- 2019
- [j12]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: 135-184 (2019) - [j11]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): 2674-2724 (2019) - [j10]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: 1-19 (2019) - [j9]Muhammad Uzair Khan, Salman Sherin, Muhammad Zohaib Iqbal, Rubab Zahid:
Landscaping systematic mapping studies in software engineering: A tertiary study. J. Syst. Softw. 149: 396-436 (2019) - [c25]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: 67-77 - [c24]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: 105-120 - [i3]Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal:
A Systematic Mapping Study on Testing of Machine Learning Programs. CoRR abs/1907.09427 (2019) - [i2]Javaria Imtiaz, Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal:
A Systematic Literature Review of Test Breakage Prevention and Repair Techniques. CoRR abs/1909.10750 (2019) - [i1]Muhammad Uzair Khan, Salman Sherin, Muhammad Zohaib Iqbal, Rubab Zahid:
Landscaping Systematic Mapping Studies in Software Engineering: A Tertiary Study. CoRR abs/1909.10751 (2019) - 2018
- [j8]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: 156-170 (2018) - 2017
- [j7]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: 1-32 (2017) - 2016
- [j6]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): 2459-2502 (2016) - 2015
- [j5]Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
Environment modeling and simulation for automated testing of soft real-time embedded software. Softw. Syst. Model. 14(1): 483-524 (2015) - [j4]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): 1367-1385 (2015) - [c23]Safdar Aqeel Safdar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan:
Empirical Evaluation of UML Modeling Tools-A Controlled Experiment. ECMFA 2015: 33-44 - [c22]Muhammad Uzair Khan, Numra Arshad, Muhammad Zohaib Iqbal, Hafsa Umar:
AspectOCL: Extending OCL for Crosscutting Constraints. ECMFA 2015: 92-107 - [c21]Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal:
Automatic generation of system test cases from use case specifications. ISSTA 2015: 385-396 - [c20]Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood:
An automated model based testing approach for platform games. MoDELS 2015: 426-435 - [c19]Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal:
UMTG: a toolset to automatically generate system test cases from use case specifications. ESEC/SIGSOFT FSE 2015: 942-945 - 2014
- [c18]Muhammad Usman, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan:
A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms. APSEC (1) 2014: 111-118 - [c17]Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri:
Improved heuristics for solving OCL constraints using search algorithms. GECCO 2014: 1231-1238 - [c16]Atif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan:
A Search Based Test Data Generation Approach for Model Transformations. ICMT 2014: 17-24 - [c15]Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali:
A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. ICSME 2014: 557-560 - [c14]Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege:
Insights on the Use of OCL in Diverse Industrial Applications. SAM 2014: 223-238 - 2013
- [j3]Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
Generating Test Data from OCL Constraints with Search Techniques. IEEE Trans. Software Eng. 39(10): 1376-1402 (2013) - 2012
- [b1]Muhammad Zohaib Z. Iqbal:
Environment model-based system testing of real-time embedded systems. University of Oslo, Norway, 2012 - [j2]Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand:
Random Testing: Theoretical Results and Practical Implications. IEEE Trans. Software Eng. 38(2): 258-277 (2012) - [c13]Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software. ISSTA 2012: 199-209 - [c12]Muhammad Zohaib Z. Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand:
Experiences of Applying UML/MARTE on Three Industrial Projects. MoDELS 2012: 642-658 - [c11]Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems. SSBSE 2012: 136-151 - 2011
- [c10]Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation. QSIC 2011: 41-50 - 2010
- [c9]Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Matthias Riebisch:
A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support. ECBS 2010: 41-49 - [c8]Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand:
Formal analysis of the effectiveness and predictability of random testing. ISSTA 2010: 219-230 - [c7]Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies. MoDELS (1) 2010: 286-300 - [c6]Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand:
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing. ICTSS 2010: 95-110
2000 – 2009
- 2008
- [c5]Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik:
Data Flow Analysis of UML Action Semantics for Executable Models. ECMDA-FA 2008: 79-93 - [c4]Irum Rauf, Muhammad Zohaib Z. Iqbal, Zafar I. Malik:
UML Based Modeling of Web Service Composition - A Survey. SERA 2008: 301-307 - 2007
- [j1]Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur Rehman, Hajra Asghar, Muhammad Zohaib Z. Iqbal, Aamer Nadeem:
A state-based approach to integration testing based on UML models. Inf. Softw. Technol. 49(11-12): 1087-1106 (2007) - [c3]Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Aamer Nadeem:
An approach for selective state machine based regression testing. A-MOST 2007: 44-52 - [c2]Atifah Ali, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, Muhammad Usman:
Regression Testing Based on UML Design Models. PRDC 2007: 85-88 - [c1]Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal:
An Automated Approach to System Testing Based on Scenarios and Operations Contracts. QSIC 2007: 256-261
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
