Atif Aftab Ahmed Jilani

11 papers B 1Journal 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Technical Report: Automated Optical Inspection of Surgical Instruments.
CoRR
Zunaira Shafqat, Atif Aftab Ahmed Jilani, Qurrat Ul Ain
2025 J jnl
A hybrid search and model-based approach for testing the self-adaptive unmanned aircraft system software.
Comput. Stand. Interfaces
Zainab Javed, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman, Atif Aftab Ahmed Jilani
2025 J jnl
Enhancing NeuroEvolution-Based Game Testing: A Branch Coverage Approach for Scratch Programs.
CoRR
Khizra Sohail, Atif Aftab Ahmed Jilani, Nigar Azhar Butt
2025 J jnl
FairPrompt: Efficient Multi-Objective Prompt Optimization for Fairness Testing in Conversational AI Systems.
IEEE Access
Zunaira Shafqat, Atif Aftab Ahmed Jilani, Nigar Azhar Butt, Shafiq Ur Rehman, Muhammad Usman Khalid, Volker Gruhn
2025 J jnl
Real-Time Surgical Instrument Defect Detection via Non-Destructive Testing.
CoRR
Qurrat Ul Ain, Atif Aftab Ahmed Jilani, Zunaira Shafqat, Nigar Azhar Butt
2025 J jnl
Search-Based MC/DC Test Data Generation With OCL Constraints.
Softw. Test. Verification Reliab.
Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2025 J jnl
VGBT: Organizing Chaos with a Player-Focused Taxonomy of Video Game Bugs.
Multim. Tools Appl.
Nigar Azhar Butt, Salman Sherin, Muhammad Uzair Khan, Atif Aftab Ahmed Jilani, Muhammad Zohaib Iqbal
2024 J jnl
An automated model-based testing approach for the self-adaptive behavior of the unmanned aircraft system application software.
Softw. Pract. Exp.
Zainab Javed, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman, Atif Aftab Ahmed Jilani
2024 J jnl
Anomaly Detection for Aviation Cyber-Physical System: Opportunities and Challenges.
IEEE Access
Qurrat Ul Ain, Atif Aftab Ahmed Jilani, Nigar Azhar Butt, Shafiq Ur Rehman, Hisham Abdulrahman Alhulayyil
2024 J jnl
Efficient Test Data Generation for MC/DC with OCL and Search.
CoRR
Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2019 B conf
A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints.
SSBSE
Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan