| 2021 | FIT | Detection of Energy Bugs in Android Applications: A Systematic Literature Review. | Asia Shahab, Ayesha Naseer, Muhammad Nouman Zafar, Aamer Nadeem |
| 2019 | FIT | Test Case Prioritization Based on Path Complexity. | Tehseen Afzal, Aamer Nadeem, Muddassar A. Sindhu, Qamar uz Zaman |
| 2018 | FIT | An Experimental Tool for Search-Based Mutation Testing. | Muhammad Bilal Bashir, Aamer Nadeem |
| 2017 | FIT | A Fault Based Approach to Test Case Prioritization. | Faiza Farooq, Aamer Nadeem |
| 2016 | FIT | Regression Test Suite Optimization Using Adaptive Neuro Fuzzy Inference System. | Aftab Ali Haider, Aamer Nadeem, Shamaila Akram |
| 2013 | FIT | On the Fly Test Suite Optimization with FuzzyOptimizer. | Aftab Ali Haider, Aamer Nadeem, Shahzad Rafiq |
| 2012 | FIT | Control Oriented Mutation Testing for Detection of Potential Software Bugs. | Muhammad Bilal Bashir, Aamer Nadeem |
| 2009 | SERA | A State Based Fitness Function for Evolutionary Testing of Object-Oriented Programs. | Muhammad Bilal Bashir, Aamer Nadeem |
| 2009 | SERA | Identifying Data Member Level Changes for Regression Testing of Object-Oriented Programs. | Sadaf Manzoor, Aamer Nadeem |
| 2009 | SERA | A Formal Model for English Auction Protocol. | Munira G. Nabi, Aamer Nadeem |
| 2007 | PRDC | Regression Testing Based on UML Design Models. | Atifah Ali, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, Muhammad Usman |
| 2006 | COMPSAC | Automating the Generation of Test Cases from Object-Z Specifications. | Adnan Ashraf, Aamer Nadeem |
| 2006 | MDM | An Antecedence Graph Approach for Fault Tolerance in a Multi-Agent. | M. Masud Khokhar, Aamer Nadeem, Omer Mansoor Paracha |
| 2006 | PRDC | A Framework for Inheritance Testing from VDM++ Specifications. | Aamer Nadeem, Michael R. Lyu |