8 citations · 8 across the 4 of their papers we have counts for
5 papers · 1 filter
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…
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…
Code Swarm: A Code Generation Tool Based on the Automatic Derivation of Transformation Rule Set
Hina Mahmood, Atif Aftab Jilani, Abdul Rauf
Automatic generation of software code from system design models remains an actively explored research area for the past several years. A number of tools are currently available to…
Deriving and Evaluating a Detailed Taxonomy of Game Bugs
Nigar Azhar Butt, Salman Sherin, Muhammad Uzair Khan +2
Game development has become an extremely competitive multi-billion-dollar industry. Many games fail even after years of development efforts because of game-breaking bugs that disru…
Comparative Study on DFD to UML Diagrams Transformations
Atif A. A. Jilani, Muhammad Usman, Aamer Nadeem
Most of legacy systems use nowadays were modeled and documented using structured approach. Expansion of these systems in terms of functionality and maintainability requires shift t…