3 papers
cs.CV2025
Real-Time Surgical Instrument Defect Detection via Non-Destructive Testing
Qurrat Ul Ain, Atif Aftab Ahmed Jilani, Zunaira Shafqat +1
Defective surgical instruments pose serious risks to sterility, mechanical integrity, and patient safety, increasing the likelihood of surgical complications. However, quality cont…
cs.SE2025
Enhancing NeuroEvolution-Based Game Testing: A Branch Coverage Approach for Scratch Programs
Khizra Sohail, Atif Aftab Ahmed Jilani, Nigar Azhar Butt
Automated test generation for game-like programs presents unique challenges due to their non-deterministic behavior and complex control structures. The NEATEST framework has been u…
cs.SE2024
Efficient Test Data Generation for MC/DC with OCL and Search
Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani +1
System-level testing of avionics software systems requires compliance with different international safety standards such as DO-178C. An important consideration of the avionics indu…