2008 |
10 | EE | Muhammad Fahad,
Aamer Nadeem:
A Survey of UML Based Regression Testing.
Intelligent Information Processing 2008: 200-210 |
2007 |
9 | EE | Qurat-ul-ann Farooq,
Muhammad Zohaib Z. Iqbal,
Zafar I. Malik,
Aamer Nadeem:
An approach for selective state machine based regression testing.
A-MOST 2007: 44-52 |
8 | EE | Muhammad Fahad,
Aamer Nadeem,
Michael R. Lyu:
A Survey of Fault Tolerant CORBA Systems.
OTM Conferences (1) 2007: 505-521 |
7 | EE | Atifah Ali,
Aamer Nadeem,
Muhammad Zohaib Z. Iqbal,
Mohammad Usman:
Regression Testing Based on UML Design Models.
PRDC 2007: 85-88 |
6 | EE | Najla Raza,
Aamer Nadeem,
Muhammad Zohaib Z. Iqbal:
An Automated Approach to System Testing Based on Scenarios and Operations Contracts.
QSIC 2007: 256-261 |
5 | EE | Shaukat Ali,
Lionel C. Briand,
Muhammad Jaffar-Ur Rehman,
Hajra Asghar,
Muhammad Zohaib Z. Iqbal,
Aamer Nadeem:
A state-based approach to integration testing based on UML models.
Information & Software Technology 49(11-12): 1087-1106 (2007) |
2006 |
4 | EE | Adnan Ashraf,
Aamer Nadeem:
Automating the Generation of Test Cases from Object-Z Specifications.
COMPSAC (2) 2006: 101-104 |
3 | EE | M. Masud Khokhar,
Aamer Nadeem,
Omer Mansoor Paracha:
An Antecedence Graph Approach for Fault Tolerance in a Multi-Agent.
MDM 2006: 137 |
2 | EE | Aamer Nadeem,
Michael R. Lyu:
A Framework for Inheritance Testing from VDM++ Specifications.
PRDC 2006: 81-88 |
2005 |
1 | EE | Aamer Nadeem,
Muhammad Jaffar-Ur Rehman:
TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications.
J. UCS 11(6): 962-985 (2005) |