Aamer Nadeem,Zafar I. Malik, Michael R. Lyu, "An Automated Approach to Inheritance and Polymorphic Testing using a VDM++ Specification", Accepted at 10th IEEE International Multitopic Conference(INMIC), 2006, Islamabad, Pakistan.

Saif-ur-Rehman Khan, Aamer Nadeem, Ali Awais, "TestFilter: A Statement Coverage Based Test Case Reduction Technique", To be published in the Proceeding of 10th IEEE International MultiTopic Conference(INMIC06), December 23-24, 2006, Islamabad, Pakistan.

Irum Rauf, Aamer Nadeem, Masud Khokhar,"Formalizing Object Oriented Design Patterns with Object-Z", Accepted at 10th IEEE International Multitopic Conference(INMIC), 2006, Islamabad, Pakistan.

Shaukat Ali, Lionel C. Briand, M. Jaffar-ur-Rehman, Hajra Asghar, Zohaib Zafar, Aamer Nadeem, "A State-based Approach to Integration Testing based on UML Models", Information and Software Technology (Elsevier) [Link]

Nafees Qamar, Uzair Khan, Aamer Nadeem, "A Framework for Formal Specification & Verification of Aspect Oriented Programs", Accepted at 5th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2006), associated with ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MODELS '06).

Tabinda Waheed, Uzair Khan, Aamer Nadeem, "Polymorphic Extensions to Object-Z Specifications", Accepted at IEEE Tencon 2006, November 14-17, 2006, Hong Kong.

Aamer Nadeem, Michael R. Lyu, "A Framework for Inheritance Testing from VDM++ Specifications", Accepted at 12th IEEE International Symposium on Pacific Rim Dependable Computing (PRDC '06), 2006.

Muhammad Jaffar-ur Rehman, Fakhra Jabeen, Antonia Bertolino, Andrea Polini, "Testing software components for integration: a survey of issues and techniques", Software Testing, Verification and Reliability (STVR),2006, Volume 17, Issue 2 , Pages 95 - 133 [Link]

Humaira Liaquat, Nadeem Iftikhar, Shaukat Ali, Zouhaib Zafar, "A Frame Work for Query Results Refinement in Multimedia Databases", Enformatika Transactions on Engineering, Computing, and Technology, Vol. 11, 2006.

Adnan Ashraf, Aamer Nadeem, "Automating the Generation of Test Cases from Object-Z Specifications", Accepted at the 30th International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Sept. 17-21, 2006.

M. Masud Khokhar, Aamer Nadeem, Omer Mansoor Paracha, "An Antecedence Graph Approach for Fault Tolerance in a Multi-Agent System", IEEE 7th International Conference on Mobile Data Management (MDM'06), p. 137, Nara, Japan, May 9-12, 2006. [Link]

Saif-ur-Rehman Khan, M. Jaffar-ur-Rehman, Aamer Nadeem, Muhammad Irfan Ullah, "TestOptimizer: A Test Case Reduction and Prioritization Framework", International Conference on Software Engineering (ISE'06), Lahore, Pakistan, Apr. 14-15, 2006.