Muhammad Uzair Khan

According to our database, Muhammad Uzair Khan authored at least 37 papers between 2009 and 2024.

Collaborative distances:

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

2024

An automated model-based testing approach for the self-adaptive behavior of the unmanned aircraft system application software.

Zainab Javed, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman, Atif Aftab Ahmed Jilani

Softw. Pract. Exp., 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

Design and Comparison of Single Band Rectangular, Cylindrical, and Triangular DRA of C and X-Band Frequency.

Muhammad Uzair Khan, Muhammad Sajjad Khan, Musyyab Yousufi, Junsu Kim, Noor Gul, Su Min Kim

Proceedings of the 13th International Conference on Information and Communication Technology Convergence, 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

Machine Learning Based Recommendation System For Android Apps.

Muhammad Uzair Khan, Rao Muhammad Umair Khalid, Syeda Airas Burhan, Muhammad Nauman

Proceedings of the 13th International Conference on Electronics, 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

Labor-management negotiation conflict analysis based on soft preference relation.

Muhammad Uzair Khan, Abbas Ali, Noor Rehman, Saleem Abdullah, Naim Çagman, Dong Yun Shin, Choonkil Park

J. Intell. Fuzzy Syst., 2020

Soft ordered based multi-granulation rough sets and incomplete information system.

Muhammad Uzair Khan, Abbas Ali, Noor Rehman, Saleem Abdullah

J. Intell. Fuzzy Syst., 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

Coverage Control Algorithm for Node Scheduling in Wireless Sensor Networks.

Muhammad Uzair Khan, Sarmad Feroze, Muhammad Zia

Proceedings of the International Conference on Frontiers of Information Technology, 2016

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

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

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

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

2012

System Analysis and Modeling Using SysML.

Muzaffar Iqbal, Muhammad Uzair Khan, Muhammad Sher

Proceedings of the International Conference on IT Convergence and Security, 2012

2010

Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL.

Ludovic Henrio, Muhammad Uzair Khan

Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

First Class Futures: Specification and Implementation of Update Strategies.

Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo

Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010

2009

A Framework for Reasoning on Component Composition.

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009