A Framework for Reasoning on Component Composition. - Ludovic Henrio; Florian Kammüller; Muhammad Uzair Khan (FMCO, 2009)

First Class Futures: Specification and Implementation of Update Strategies. - Ludovic Henrio; Muhammad Uzair Khan; Nadia Ranaldo; Eugenio Zimeo (Euro-Par Workshops, 2010)

Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. - Ludovic Henrio; Muhammad Uzair Khan (FESCA@ETAPS, 2010)

System Analysis and Modeling Using SysML. - Muzaffar Iqbal; Muhammad Uzair Khan; Muhammad Sher (ICITCS, 2012)

A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms. - Muhammad Usman 013; Muhammad Zohaib Z. Iqbal; Muhammad Uzair Khan (APSEC (1), 2014)

A Search Based Test Data Generation Approach for Model Transformations. - Atif Aftab Jilani; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (ICMT, 2014)

A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. - Muhammad Uzair Khan; Muhammad Zohaib Iqbal; Shaukat Ali 001 (ICSME, 2014)

AspectOCL: Extending OCL for Crosscutting Constraints. - Muhammad Uzair Khan; Numra Arshad; Muhammad Zohaib Iqbal; Hafsa Umar (ECMFA, 2015)

Empirical Evaluation of UML Modeling Tools-A Controlled Experiment. - Safdar Aqeel Safdar; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (ECMFA, 2015)

An automated model based testing approach for platform games. - Sidra Iftikhar; Muhammad Zohaib Iqbal; Muhammad Uzair Khan; Wardah Mahmood (MoDELS, 2015)

Coverage Control Algorithm for Node Scheduling in Wireless Sensor Networks. - Muhammad Uzair Khan; Sarmad Feroze; Muhammad Zia (FIT, 2016)

A product-line model-driven engineering approach for generating feature-based mobile applications. - Muhammad Usman 013; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (J. Syst. Softw., 2017)

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)

A Model-Based Testing Approach for Cockpit Display Systems of Avionics. - Muhammad Zohaib Iqbal; Hassan Sartaj; Muhammad Uzair Khan; Fitash Ul Haq; Ifrah Qaisar (MoDELS, 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 (SSBSE, 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 013 (Adv. Comput., 2019)

A Systematic Mapping Study on Testing of Machine Learning Programs. - Salman Sherin; Muhammad Uzair Khan; Muhammad Zohaib Iqbal (CoRR, 2019)

AspectOCL: using aspects to ease maintenance of evolving constraint specification. - Muhammad Uzair Khan; Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Usman 013; Numra Arshad (Empir. Softw. Eng., 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)

Landscaping systematic mapping studies in software engineering: A tertiary study. - Muhammad Uzair Khan; Salman Sherin; Muhammad Zohaib Iqbal; Rubab Zahid (J. Syst. Softw., 2019)

CDST: A Toolkit for Testing Cockpit Display Systems. - Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (ICST, 2020)

CDST: A Toolkit for Testing Cockpit Display Systems of Avionics. - Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (CoRR, 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)

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)

An automated model-based approach for unit-level performance test generation of mobile applications. - Muhammad Usman 013; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (J. Softw. Evol. Process., 2020)

Machine Learning Based Recommendation System For Android Apps. - Muhammad Uzair Khan; Rao Muhammad Umair Khalid; Syeda Airas Burhan; Muhammad Nauman (ECAI, 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)

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)

Testing cockpit display systems of aircraft using a model-based approach. - Hassan Sartaj; Muhammad Zohaib Iqbal; Muhammad Uzair Khan (Softw. Syst. Model., 2021)

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 (ICTC, 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 013 (J. Softw. Evol. Process., 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)

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)

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)

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)

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 013; 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 (Autom. Softw. Eng., 2024)

A hybrid search and model-based approach for testing the self-adaptive unmanned aircraft system software. - Zainab Javed; Muhammad Zohaib Iqbal; Muhammad Uzair Khan; Muhammad Usman 013; Atif Aftab Ahmed Jilani (Comput. Stand. Interfaces, 2025)

Search-Based MC/DC Test Data Generation With OCL Constraints. - Hassan Sartaj; Muhammad Zohaib Iqbal; Atif Aftab Ahmed Jilani; Muhammad Uzair Khan (Softw. Test. Verification Reliab., 2025)