Muhammad Uzair Khan

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 28

Top Topics

Mobile Applications

Empirical Evaluation

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)
Muhammad Uzair Khan, Muhammad Sajjad Khan, Musyyab Yousufi, Junsu Kim, Noor Gul, Su Min Kim
Design and Comparison of Single Band Rectangular, Cylindrical, and Triangular DRA of C and X-Band Frequency. ICTC (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)
Muhammad Uzair Khan, Rao Muhammad Umair Khalid, Syeda Airas Burhan, Muhammad Nauman
Machine Learning Based Recommendation System For Android Apps. ECAI (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)
Muhammad Uzair Khan, Abbas Ali, Noor Rehman, Saleem Abdullah
Soft ordered based multi-granulation rough sets and incomplete information system. J. Intell. Fuzzy Syst. 39 (1) (2020)
Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
CDST: A Toolkit for Testing Cockpit Display Systems. ICST (2020)
Muhammad Uzair Khan, Abbas Ali, Noor Rehman, Saleem Abdullah, Naim Çagman, Dong Yun Shin, Choonkil Park
Labor-management negotiation conflict analysis based on soft preference relation. J. Intell. Fuzzy Syst. 39 (1) (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)
Muhammad Uzair Khan, Sarmad Feroze, Muhammad Zia
Coverage Control Algorithm for Node Scheduling in Wireless Sensor Networks. FIT (2016)
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)
Atif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
A Search Based Test Data Generation Approach for Model Transformations. ICMT (2014)
Muhammad Usman, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan
A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms. APSEC (1) (2014)
Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali
A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. ICSME (2014)
Muzaffar Iqbal, Muhammad Uzair Khan, Muhammad Sher
System Analysis and Modeling Using SysML. ICITCS (2012)
Ludovic Henrio, Muhammad Uzair Khan
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. Electron. Notes Theor. Comput. Sci. 264 (1) (2010)
Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo
First Class Futures: Specification and Implementation of Update Strategies. Euro-Par Workshops (2010)
Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan
A Framework for Reasoning on Component Composition. FMCO (2009)