Declarative Testing: A Paradigm for Testing Software Applications. - Ed Triou; Zafar Abbas; Sravani Kothapalle (ITNG, 2009)

Automatic Vehicle Checking Agent (VCA) - Bashir Ahmad 001; Shakeel Ahmad; Shahid Hussain 001; Muhammad Zaheer Aslam; Zafar Abbas (CoRR, 2011)

Decreasing defect rate of test cases by designing and analysis for recursive modules of a program structure: Improvement in test cases. - Muhammad Javed; Bashir Ahmad 001; Zafar Abbas; Allah Nawaz; Muhammad Ali Abid; Ihsan Ullah (CoRR, 2012)