Atif A. A. Jilani

According to our database, Atif A. A. Jilani authored at least 16 papers between 2011 and 2025.

Collaborative distances:

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

2025

Enhancing NeuroEvolution-Based Game Testing: A Branch Coverage Approach for Scratch Programs.

Khizra Sohail, Atif Aftab Ahmed Jilani, Nigar Azhar Butt

CoRR, July, 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., January, 2025

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, Atif Aftab Ahmed Jilani

Comput. Stand. Interfaces, 2025

FairPrompt: Efficient Multi-Objective Prompt Optimization for Fairness Testing in Conversational AI Systems.

Zunaira Shafqat, Atif Aftab Ahmed Jilani, Nigar Azhar Butt, Shafiq Ur Rehman, Muhammad Usman Khalid, Volker Gruhn

IEEE Access, 2025

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

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

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

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

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

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

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

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

2011

Comparative Study on DFD to UML Diagrams Transformations

Atif A. A. Jilani, Muhammad Usman, Aamer Nadeem

CoRR, 2011