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

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

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)

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

Code Swarm: A Code Generation Tool Based on the Automatic Derivation of Transformation Rule Set. - Hina Mahmood; Atif Aftab Jilani; Abdul Rauf (CoRR, 2023)

Anomaly Detection for Aviation Cyber-Physical System: Opportunities and Challenges. - Qurrat Ul Ain; Atif Aftab Ahmed Jilani; Nigar Azhar Butt; Shafiq Ur Rehman; Hisham Abdulrahman Alhulayyil (IEEE Access, 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)

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)

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)

Enhancing NeuroEvolution-Based Game Testing: A Branch Coverage Approach for Scratch Programs. - Khizra Sohail; Atif Aftab Ahmed Jilani; Nigar Azhar Butt (CoRR, 2025)