Muhammad Zohaib Iqbal

37 papers A 5B 3Journal 27Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A hybrid search and model-based approach for testing the self-adaptive unmanned aircraft system software. Comput. Stand. Interfaces Zainab Javed, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman, Atif Aftab Ahmed Jilani
2025	J	`jnl`	Search-Based MC/DC Test Data Generation With OCL Constraints. Softw. Test. Verification Reliab. Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2025	J	`jnl`	VGBT: Organizing Chaos with a Player-Focused Taxonomy of Video Game Bugs. Multim. Tools Appl. Nigar Azhar Butt, Salman Sherin, Muhammad Uzair Khan, Atif Aftab Ahmed Jilani, Muhammad Zohaib Iqbal
2024	J	`jnl`	An automated model-based testing approach for the self-adaptive behavior of the unmanned aircraft system application software. Softw. Pract. Exp. Zainab Javed, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman, Atif Aftab Ahmed Jilani
2024	J	`jnl`	Automated System-level Testing of Unmanned Aerial Systems. CoRR Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2024	J	`jnl`	Automated system-level testing of unmanned aerial systems. Autom. Softw. Eng. Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2024	J	`jnl`	Efficient Test Data Generation for MC/DC with OCL and Search. CoRR Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2023	J	`jnl`	Deriving and Evaluating a Detailed Taxonomy of Game Bugs. CoRR Nigar Azhar Butt, Salman Sherin, Muhammad Uzair Khan, Atif Aftab Jilani, Muhammad Zohaib Iqbal
2023	J	`jnl`	QExplore: An exploration strategy for dynamic web applications using guided search. J. Syst. Softw. Salman Sherin, Asmar Muqeet, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
2022	J	`jnl`	An automated search-based test model generation approach for structural testing of model transformations. J. Softw. Evol. Process. Atif Aftab Jilani, Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Muhammad Usman
2022	J	`jnl`	Deriving and evaluating a fault model for testing data science applications. J. Softw. Evol. Process. Atif Aftab Jilani, Salman Sherin, Sidra Ijaz, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2021	J	`jnl`	An automated model-based approach to repair test suites of evolving web applications. J. Syst. Softw. Javaria Imtiaz, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2021	J	`jnl`	Comparing coverage criteria for dynamic web application: An empirical evaluation. Comput. Stand. Interfaces Salman Sherin, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Atif Aftab Jilani
2021	J	`jnl`	Testing cockpit display systems of aircraft using a model-based approach. Softw. Syst. Model. Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2020	J	`jnl`	An automated model-based approach for unit-level performance test generation of mobile applications. J. Softw. Evol. Process. Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2020	J	`jnl`	CDST: A Toolkit for Testing Cockpit Display Systems of Avionics. CoRR Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2020	A	`conf`	CDST: A Toolkit for Testing Cockpit Display Systems. ICST Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2019	A	`conf`	A Model-Based Testing Approach for Cockpit Display Systems of Avionics. MoDELS Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq, Ifrah Qaisar
2019	B	`conf`	A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints. SSBSE Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2019	J	`jnl`	A Systematic Literature Review of Test Breakage Prevention and Repair Techniques. CoRR Javaria Imtiaz, Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
2019	J	`jnl`	A Systematic Mapping Study on Testing of Machine Learning Programs. CoRR Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
2019	J	`jnl`	A systematic literature review of test breakage prevention and repair techniques. Inf. Softw. Technol. Javaria Imtiaz, Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
2019	J	`jnl`	AspectOCL: using aspects to ease maintenance of evolving constraint specification. Empir. Softw. Eng. Muhammad Uzair Khan, Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Usman, Numra Arshad
2019	J	`jnl`	Chapter Three - Advances in Applications of Object Constraint Language for Software Engineering. Adv. Comput. Atif A. A. Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman
2019	J	`jnl`	Landscaping Systematic Mapping Studies in Software Engineering: A Tertiary Study. CoRR Muhammad Uzair Khan, Salman Sherin, Muhammad Zohaib Iqbal, Rubab Zahid
2019	J	`jnl`	Landscaping systematic mapping studies in software engineering: A tertiary study. J. Syst. Softw. Muhammad Uzair Khan, Salman Sherin, Muhammad Zohaib Iqbal, Rubab Zahid
2018	J	`jnl`	Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing. Comput. Stand. Interfaces Muhammad Uzair Khan, Sidra Iftikhar, Muhammad Zohaib Iqbal, Salman Sherin
2017	J	`jnl`	A product-line model-driven engineering approach for generating feature-based mobile applications. J. Syst. Softw. Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2016	J	`jnl`	Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach. Empir. Softw. Eng. Shaukat Ali, Muhammad Zohaib Iqbal, Maham Khalid, Andrea Arcuri
2015	A	`conf`	An automated model based testing approach for platform games. MoDELS Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood
2015	J	`jnl`	Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. Softw. Syst. Model. Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand
2015	B	`conf`	AspectOCL: Extending OCL for Crosscutting Constraints. ECMFA Muhammad Uzair Khan, Numra Arshad, Muhammad Zohaib Iqbal, Hafsa Umar
2015	B	`conf`	Empirical Evaluation of UML Modeling Tools-A Controlled Experiment. ECMFA Safdar Aqeel Safdar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2014	A	`conf`	A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. ICSME Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali
2014	—	`conf`	A Search Based Test Data Generation Approach for Model Transformations. ICMT Atif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2014	A	`conf`	Improved heuristics for solving OCL constraints using search algorithms. GECCO Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri
2014	—	`conf`	Insights on the Use of OCL in Diverse Industrial Applications. SAM Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege