TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications. - Aamer Nadeem; Muhammad Jaffar-Ur Rehman (J. Univers. Comput. Sci., 2005)

Automating the Generation of Test Cases from Object-Z Specifications. - Adnan Ashraf; Aamer Nadeem (COMPSAC (2), 2006)

An Antecedence Graph Approach for Fault Tolerance in a Multi-Agent. - M. Masud Khokhar; Aamer Nadeem; Omer Mansoor Paracha (MDM, 2006)

A Framework for Inheritance Testing from VDM++ Specifications. - Aamer Nadeem; Michael R. Lyu (PRDC, 2006)

An approach for selective state machine based regression testing. - Qurat-ul-ann Farooq; Muhammad Zohaib Z. Iqbal; Zafar I. Malik; Aamer Nadeem (A-MOST, 2007)

A Survey of Fault Tolerant CORBA Systems. - Muhammad Fahad 011; Aamer Nadeem; Michael R. Lyu (OTM Conferences (1), 2007)

Regression Testing Based on UML Design Models. - Atifah Ali; Aamer Nadeem; Muhammad Zohaib Z. Iqbal; Muhammad Usman 013 (PRDC, 2007)

An Automated Approach to System Testing Based on Scenarios and Operations Contracts. - Najla Raza; Aamer Nadeem; Muhammad Zohaib Z. Iqbal (QSIC, 2007)

A state-based approach to integration testing based on UML models. - Shaukat Ali 001; Lionel C. Briand; Muhammad Jaffar-Ur Rehman; Hajra Asghar; Muhammad Zohaib Z. Iqbal; Aamer Nadeem (Inf. Softw. Technol., 2007)

A Survey of UML Based Regression Testing. - Muhammad Fahad 011; Aamer Nadeem (IIP, 2008)

A State Based Fitness Function for Evolutionary Testing of Object-Oriented Programs. - Muhammad Bilal Bashir; Aamer Nadeem (SERA (selected papers), 2009)

Identifying Data Member Level Changes for Regression Testing of Object-Oriented Programs. - Sadaf Manzoor; Aamer Nadeem (SERA (selected papers), 2009)

A Formal Model for English Auction Protocol. - Munira G. Nabi; Aamer Nadeem (SERA, 2009)

ISARE: An Integrated Software Architecture Reuse and Evaluation Framework. - Rizwan Ahmad; Saif Ur Rehman Khan 001; Aamer Nadeem; Tai-Hoon Kim (FGIT-ASEA, 2010)

An Automated Approach to Testing Polymorphic Features Using Object-Z. - Mahreen Ahmad; Aamer Nadeem; Tai-Hoon Kim (FGIT-ASEA, 2010)

A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams. - Zohaib Khai; Aamer Nadeem; Gang-soo Lee (FGIT-ASEA/DRBC/EL, 2011)

Applying Evolutionary Approaches to Data Flow Testing at Unit Level. - Shaukat Ali Khan; Aamer Nadeem (FGIT-ASEA/DRBC/EL, 2011)

A UML Profile for Real Time Industrial Control Systems. - Kamran Latif; Aamer Nadeem; Gang-soo Lee (FGIT-ASEA/DRBC/EL, 2011)

A Safe Regression Testing Technique for Web Services Based on WSDL Specification. - Tehreem Masood; Aamer Nadeem; Gang-soo Lee (FGIT-ASEA/DRBC/EL, 2011)

AgentSpeak (L) Based Testing of Autonomous Agents. - Muhammad Shafiq ur Rehman; Aamer Nadeem (FGIT-ASEA/DRBC/EL, 2011)

Comparative Study on DFD to UML Diagrams Transformations - Atif A. A. Jilani; Muhammad Usman 013; Aamer Nadeem (CoRR, 2011)

Control Oriented Mutation Testing for Detection of Potential Software Bugs. - Muhammad Bilal Bashir; Aamer Nadeem (FIT, 2012)

On the Fly Test Suite Optimization with FuzzyOptimizer. - Aftab Ali Haider; Aamer Nadeem; Shahzad Rafiq (FIT, 2013)

Automated Test Data Generation for Coupling Based Integration Testing of Object Oriented Programs Using Particle Swarm Optimization (PSO). - Shaukat Ali Khan; Aamer Nadeem (ICGEC, 2013)

Automated Test Data Generation for Coupling Based Integration Testing of Object Oriented Programs Using Evolutionary Approaches. - Shaukat Ali Khan; Aamer Nadeem (ITNG, 2013)

Multiple objective test suite optimization: A fuzzy logic based approach. - Aftab Ali Haider; Aamer Nadeem; Shahzad Rafiq (J. Intell. Fuzzy Syst., 2014)

Regression Test Suite Optimization Using Adaptive Neuro Fuzzy Inference System. - Aftab Ali Haider; Aamer Nadeem; Shamaila Akram (FIT, 2016)

A mobile agent based communication protocol to optimize message delivery cost. - Salman Ahmed; Aamer Nadeem (J. Syst. Softw., 2016)

A Fault Based Approach to Test Case Prioritization. - Faiza Farooq; Aamer Nadeem (FIT, 2017)

Improved Genetic Algorithm to Reduce Mutation Testing Cost. - Muhammad Bilal Bashir; Aamer Nadeem (IEEE Access, 2017)

An Experimental Tool for Search-Based Mutation Testing. - Muhammad Bilal Bashir; Aamer Nadeem (FIT, 2018)

Test Case Prioritization Based on Path Complexity. - Tehseen Afzal; Aamer Nadeem; Muddassar A. Sindhu; Qamar uz Zaman (FIT, 2019)

Experimental Validation of Inheritance Metrics' Impact on Software Fault Prediction. - Syed Rashid Aziz; Tamim Ahmed Khan; Aamer Nadeem (IEEE Access, 2019)

Analyses of Classifier's Performance Measures Used in Software Fault Prediction Studies. - Muhammad Rizwan 004; Aamer Nadeem; Muddassar Azam Sindhu (IEEE Access, 2019)

Towards automated testing of multi-agent systems using prometheus design models. - Muhammad Shafiq ur Rehman; Aamer Nadeem; Muddassar A. Sindhu (Int. Arab J. Inf. Technol., 2019)

Efficacy of Inheritance Aspect in Software Fault Prediction - A Survey Paper. - Syed Rashid Aziz; Tamim Ahmed Khan; Aamer Nadeem (IEEE Access, 2020)

An Adaptive Software Fault-Tolerant Framework for Ubiquitous Vehicular Technologies. - Muhammad Rizwan 004; Aamer Nadeem; Muddesar Iqbal; Sohail Sarwar; Muhammad Safyan; Zia Ul-Qayyum (IEEE Commun. Stand. Mag., 2020)

A systematic mapping of test case generation techniques using UML interaction diagrams. - Nasir Mehmood Minhas; Sohaib Masood; Kai Petersen; Aamer Nadeem (J. Softw. Evol. Process., 2020)

Detection of Energy Bugs in Android Applications: A Systematic Literature Review. - Asia Shahab; Ayesha Naseer; Muhammad Nouman Zafar; Aamer Nadeem (FIT, 2021)

Exclusive use and evaluation of inheritance metrics viability in software fault prediction - an experimental study. - Syed Rashid Aziz; Tamim Ahmed Khan; Aamer Nadeem (PeerJ Comput. Sci., 2021)

Inheritance metrics feats in unsupervised learning to classify unlabeled datasets and clusters in fault prediction. - Syed Rashid Aziz; Tamim Ahmed Khan; Aamer Nadeem (PeerJ Comput. Sci., 2021)

Vovel metrics - novel coupling metrics for improved software fault prediction. - Muhammad Rizwan 004; Aamer Nadeem; Muddassar Azam Sindhu (PeerJ Comput. Sci., 2021)

Achieving State Space Reduction in Generated Ajax Web Application State Machine. - Nadeem Fakhar Malik; Aamer Nadeem; Muddassar Azam Sindhu (Intell. Autom. Soft Comput., 2022)

EkmEx - an extended framework for labeling an unlabeled fault dataset. - Muhammad Rizwan 004; Aamer Nadeem; Sohail Sarwar; Muddesar Iqbal; Muhammad Safyan; Zia Ul-Qayyum (Multim. Tools Appl., 2022)

Evaluating the effectiveness of decomposed Halstead Metrics in software fault prediction. - Bilal Khan; Aamer Nadeem (PeerJ Comput. Sci., 2023)

Detection of violence incitation expressions in Urdu tweets using convolutional neural network. - Muhammad Shahid Khan; Muhammad Shahid Iqbal Malik; Aamer Nadeem (Expert Syst. Appl., 2024)

Measuring Effectiveness of Metamorphic Relations for Image Processing Using Mutation Testing. - Fakeeha Jafari; Aamer Nadeem (J. Imaging, 2024)