Regression Testing Based on UML Design Models. - Atifah Ali; Aamer Nadeem; Muhammad Zohaib Z. Iqbal; Muhammad Usman 013 (PRDC, 2007)

Comparative Study on DFD to UML Diagrams Transformations - Atif A. A. Jilani; Muhammad Usman 013; Aamer Nadeem (CoRR, 2011)

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 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)

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)

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)

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)

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)

DCANet: deep context attention network for automatic polyp segmentation. - Zaka-Ud-Din Muhammad; Zhangjin Huang; Naijie Gu; Muhammad Usman 013 (Vis. Comput., 2023)

Enhanced encoder-decoder architecture for visual perception multitasking of autonomous driving. - Muhammad Usman 013; Zaka-Ud-Din Muhammad; Qiang Ling 001 (Expert Syst. Appl., 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)

MMFIL-Net: Multi-level and multi-source feature interactive lightweight network for polyp segmentation. - Zaka-Ud-Din Muhammad; Muhammad Usman 013; Zhangjin Huang; Naijie Gu (Displays, 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)