Year 2011 - 2015

  • T. Masood, A. Nadeem, G. Lee, “A Safe Regression Testing Technique for Web Services Based on WSDL Specification”, Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011.
  •  S.U. Rehman, A. Nadeem, “AgentSpeak (L) bases Testing of Autonomous Agents”, Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011.
  •  M. B. Bashir, A. Nadeem, “Control Oriented Mutation Testing for Detection of Potentail Software Bugs”, 10th International Conference on Frontiers of Information Technology (FIT 2012), December 17-19, 2012, Islamabad, Pakistan.
  •  M. B. Bashir, A. Nadeem, “Object Oriented Mutation Testing – A Survey”, 8th International Conference on Emerging Technologies (ICET 2012), October 8-9, 2012, Islamabad, Pakistan.
  • S. Ahmed, A. Nadeem, “A Survey on Mobile Agent Communication Protocols”, 8th International Conference on Emerging Technologies (ICET 2012), October 8-9, 2012, Islamabad, Pakistan.
  • M. B. Bashir, A. Nadeem, “A Fitness Function for the Evolutionary Mutation Testing of Object-Oriented Programs”, In the Proceedings of the 9th International Conference on Emerging Technolgoies, (ICET 2013), Islamabad, Pakistan.
  • S. Rehman, A. Nadeem, “Testing of autonomous agents: A critical analysis”, Electronics, Communications and Photonics Conference (SIECPC), 2013 Saudi International, vol. no. 1.5, pp. 27-30, April 2013 doi: 10.1109/SIECPC.2013.6550990
  • M. B. Bashir, A. Nadeem, “A State-based Fitness Function for the Integration Testing of Object-Oriented Programs”, In the Proceedings of the 10th International Conference on Emerging Technolgoies, (ICET 2014), Islamabad, Pakistan.

Year 2006 - 2010

  • 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.
  •  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.
  • 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.
  •  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.
  • Tabinda Waheed, Uzair Khan, Aamer Nadeem, “Polymorphic Extensions to Object-Z Specifications”, Accepted at IEEE Tencon 2006, November 14-17, 2006, Hong Kong.
  • 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).
  •  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, Sep. 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.
  • M. Fahad, A. Nadeem, M.R. Lyu, “A Survey of Fault Tolerant CORBA Systems”, Lecture Notes in Computer Science (LNCS 4803), Springer-Verlag, Nov. 2007.
  • 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, Vol. 49, No. 11-12, pp. 1087-1106, Elsevier Science, Nov. 2007.
  •  A. Ali, A. Nadeem, Z. Zafar, M. Usman, “Regression Testing based on UML Design Models;, 13th IEEE Pacific Rim Dependable Computing Conference (PRDC ’07), Dec. 17-19, 2007, Melbourne, Victoria, Australia.
  •  N. Raza, A. Nadeem, Z. Zafar, “An Automated Approach to System Testing based on Scenarios and Operation Contracts;, 7th IEEE International Conference on Quality Software (QSIC ’07), Oct. 11-12, 2007, Portland, Oregon, USA.
  • Q. Farooq, Z.Z. Iqbal, Z.I. Malik, A. Nadeem, “An Approach for Selective State-Machine based Regression Testing;, 3rd Workshop on Advances in Model Based Testing (A-MOST 2007), co-located with ISSTA 2007, July 9-12, 2007, London, U.K.
  • M. Jaffar-ur-Rehman, Fakhra Jabeen, Antonia Bertolino, Andrea Polini, “Software Component Integration Testing: A Survey”, Journal of Software Testing, Verification, and Reliability (STVR), Vol. 17, No. 2, pp. 95-133, June 2007. [Link]
  • M. Usman, A. Nadeem, T. Kim, “UJECTOR: A tool for Executable Code Generation from UML Models”, International Conference on Advanced Software Engineering and its Applications (ASEA 2008), Dec. 13-15, 2008, Hainan Island, China, IEEE Computer Society Press.
  • F. Yousuf, A. Nadeem, Z. Zaman, T. Kim, M. Choi, “Design Diverse-Multiple Version Connector: A Fault Tolerant Component Based Architecture”, International Conference on Advanced Software Engineering and its Applications (ASEA 2008), Dec. 13-15, 2008, Hainan Island, China, IEEE Computer Society Press.
  • A. Jilani, A. Nadeem, “Formal Representations of the Data Flow Diagram: A Survey”, International Conference on Advanced Software Engineering and its Applications (ASEA 2008), Dec. 13-15, 2008, Hainan Island, China, IEEE Computer Society Press.
  • M. Usman, A. Nadeem, T. Kim, E. Cho, “A Survey of Consistency Checking Techniques for UML Models”, International Conference on Advanced Software Engineering and its Applications (ASEA 2008), Dec. 13-15, 2008, Hainan Island, China, IEEE Computer Society Press.
  • M. Fahad, A. Nadeem, “A Survey of UML Based Regression Testing”, IFIP International Federation for Information Processing Series, Vol. 288/2009, ISBN 978-0-387-87684-9, DOI 10.1007/978-0-387-87685-6_25, Springer-Verlag, 2008.
  • M.B. Latif, A. Nadeem, “Automatic Extraction of Pre- and Postconditions from Z Specifications”, 6th International Conference on Software Engineering Research, Management and Applications (SERA 2008), August 20-22, 2008, Prague, Czech Republic, Studies in Computational Intelligence Series, Vol. 150/2008, pp. 101-114, ISBN 978-3-540-70774-5, DOI 10.1007/978-3-540-70561-1, Springer-Verlag, 2008.
  • M.B. Bashir, A. Nadeem, “Fitness Function Design for Object-Oriented Programs: A Survey”, 3rd International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2009), September 2009, Fes, Morocco.
  • S. Manzoor, A. Nadeem, “Change Identification Techniques of Regression Testing: A Survey”, 3rd International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2009), September 2009, Fes, Morocco.
  • S. Manzoor, A. Nadeem, “Identifying Data Member Level Changes for Regression Testing of Object-Oriented Programs”, 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009), December 2-4, 2009, Haikou, Hainan Island, China, Studies in Computational Intelligence Series, Vol. xxx, pp. xxx, ISBN xxx, DOI xxx, Springer-Verlag, 2009.
  •  M.B. Bashir, A. Nadeem, “A State Based Fitness Function for Evolutionary Testing of Object-Oriented Programs”, 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009), December 2-4, 2009, Haikou, Hainan Island, China, Studies in Computational Intelligence Series, Vol. xxx, pp. xxx, ISBN xxx, DOI xxx, Springer-Verlag, 2009.
  • M.G. Nabi, A. Nadeem, “A Formal Model for English Auction Protocol”, 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009), December 2-4, 2009, Haikou, Hainan Island, China.
  • S.R. Khan, A. Nadeem, I. Rehman, S.R. Malik, “The Impact of Test Case Reduction and Prioritization on Software Testing Effectiveness”, 5th International Conference on Emerging Technologies, Oct. 19-20, 2009, Islamabad, Pakistan.
  • Z. Zaman, A. Nadeem, F. Yousuf, “Data Flow Based Testing of Aspect Oriented Programs: A Survey”, International Conference of Software Engineering Theory and Practice (SETP 2009), July 13-16, Orlando, Florida, USA, pp. 98-104.
  • A. Muddaser, A.I. Bhatti, Q.R. Butt, A. Nadeem, “Misfire Detection in IC Engines using Finite State Automata”, 15th International Conference on Soft Computing (Mendel 2009), June 24-26, 2009, Brno, Czech Republic.
  • M. Usman, A. Nadeem, “Automatic Generation of Java Code from UML Diagrams using UJECTOR”, International Journal of Software Engineering and Its Applications, Vol. 3, No. 2, April 2009, ISSN: 1738-9984.
  • F. Yousuf, A. Nadeem, Z. Zaman, “A Configurable Fault Tolerant Architecture for Component-Based Systems”, International Journal of Software Engineering and Its Applications, Vol. 3, No. 2, April 2009, ISSN: 1738-9984.
  • M. Aziz, A. Nadeem, “An Automated Approach to Testing Polymorphic Features Using Object-Z”, In the Proceedings of International Conference on Advanced Software Engineering & Its Applications (ASEA 2010), Springer Verlag, Vol CCIS 117, Korea, 2010.
  • M. Aziz, A. Nadeem, ” Consistency Checking of UML Models using Description Logics: A Critical Review”, In the Proceedings 6th IEEE International Conference on Emerging Technologies 2010 (ICET 2010), Islamabad, Pakistan, 2010.

Year 2001 - 2005

  • Ch. Ali Asad, Muhammad Irfan Ullah, M. Jaffar-ur-Rehman, “An Approach for Software Reliability Model Selection”, The 28th International Computer Software and Applications Conference, COMPSAC 2004, Hong Kong, Sept. 28-30, 2004. [Link]
  •  M. Mohsin Malik, Muhammad Irfan Ullah, M. Jaffar-ur-Rehman, Hajra Asghar, “An Attribute-based Comparison of Software Design Inspection Techniques”, The 8th IEEE International Multitopic Conference, December 24-26, Lahore, Pakistan, 2004. [Link]
  •  M. Masud Khokhar, M. Jaffar-ur-Rehman, Aamer Nadeem, “Using Fault-Tolerant Mobile Agents for Peer Discovery in P2P Networks”, IEEE International Conference on Software Engineering and Applications, ICSEA’2004, December 30-31, 2004, Islamabad, Pakistan.
  •  Adnan Ashraf, M. Jaffar-ur-Rehman, Aamer Nadeem, Muhammad Irfan Ullah, “Automated Test Case Generation from Object-Z Specifications”, International Conference on Software Engineering and Applications, ICSEA’2004, December 30-31, 2004, Islamabad, Pakistan.
  •  Shaukat Ali, M. Jaffar-ur-Rehman, “Constructing Software Fault Trees for Prolog Programs”, IADIS International Conference on Applied Computing, 2005.
  •  Shaukat Ali, Ahmed Nadeem Siddiqui, “A Comprehensive Study on Date Viruses”, Science Technology and Development – A Quarterly Journal, Pakistan Council for Science and Technology, Vol. 23, No. 2, April – June 2004.
  •  Shaukat Ali, M. Jaffar-ur-Rehman, Aamer Nadeem, “Safety Analysis of Embedded Systems”, Workshop on Embedded Systems, National Institute of Electronics, November 2004.
  •  Shaukat Ali, M. Jaffar-ur-Rehman,  Aamer Nadeem, “An Enhanced Fault Tree Analysis using Hidden Markov Model”, International Workshop on Software Systems, IWSS 2004.
  •  M. Uzair Khan, M. Jaffar-ur-Rehman, Aamer Nadeem, “A Framework for Development of Fault Tolerant Applications”, International Workshop on Software Systems, IWSS 2004.
  •  M. Masud Khokhar, M. Jaffar-ur-Rehman, Aamer Nadeem, “Heuristics for Identifying Error-Prone Segments of Code”, International Workshop on Software Systems, IWSS 2004.
  • Zille Huma, M. Jaffar-ur-Rehman, Nadeem Iftikhar, “An Ontology-Based Framework for Semi-Automatic Schema Integration”, Journal of Computer Science and Technology, Vol. 20, No. 6, November 2005. [Link]
  • Safoora Shakil Khan, M. Jaffar-ur-Rehman, “A Survey on Early Separation of Concerns”, 12th Asia-Pacific Software Engineering Conference, APSEC’05, pp. 776-782, 2005. [Link]
  •  M. Jaffar-ur-Rehman, Fakhra Jabeen, Antonia Bertolino, Andrea Polini, “Software Component Integration Testing: A Survey”, Technical Report, 2005-TR-41, Italian National Research Council, 2005. [Link]
  •  Aamer Nadeem, M. Jaffar-ur-Rehman, “TESTAF: A Test Automation Framework for  Class Testing using Object-Oriented Formal Specifications”, Journal of Universal Computer Science, Vol. 11, No. 6, 2005. [Link]
  •  Shaukat Ali, M. Jaffar-ur-Rehman, Lionel C. Briand, Hajra Asghar, Zouhaib Zafar, Aamer Nadeem, “A State-based Approach to Integration Testing of Object-Oriented Programs”, Technical Report, TR-SCE-05-08, Carleton University, May 2005. [Link]
  •  Aamer Nadeem, M. Jaffar-ur-Rehman, “Automated Test Case Generation from IFAD VDM++ Specifications”, 4th WSEAS International Conference on Software Engineering, Parallel, and Distributed Systems (SEPADS 2005), Salzburg, Austria, February 13-15, 2005.
  •  Aamer Nadeem, M. Jaffar-ur-Rehman, “Automated Test Case Generation from IFAD VDM++ Specifications”, WSEAS Transactions on Computers, Vol. 4, No. 2, February 2005, ISSN: 1109-2750.
  •  Safoora Shakil Khan, Shaukat Ali, M. Jaffar-ur-Rehman, “An Approach for Early Aspects Identification using Feature based Engineering and Use Case Driven Approaches”, 2nd European Interactive Workshop on Aspects in Software, EIWAS’05, Sept. 1-2, 2005, Brussels, Belgium.
  •  M. Waqas Raza, “Comparison of Class Test Integration Ordering Strategies”, IEEE International Conference on Emerging Technologies, ICET’2005, Islamabad, Pakistan, Sept. 17-18, 2005. [Link]
  •  Safoora Shakil Khan, M. Jaffar-ur-Rehman, Shaukat Ali, “An Enhanced Framework for Validation of Aspectual Requirements”, IEEE International Conference on Emerging Technologies, ICET’2005, Islamabad, Pakistan, Sept. 17-18, 2005. [Link]
  •  Fakhra Jabeen, M. Jaffar-ur-Rehman, “A Framework for Object Oriented Component Testing”, IEEE International Conference on Emerging Technologies, ICET’2005, Islamabad, Pakistan, Sept. 17-18, 2005. [Link]
  •  Syed Asad Ali Naqvi, Shaukat Ali, M. Uzair Khan, “An Evaluation of Aspect Oriented Testing Techniques”, IEEE International Conference on Emerging Technologies, ICET’2005, Islamabad, Pakistan, Sept. 17-18, 2005. [Link]
  •  Shehreyar Malik, M. Jaffar-ur-Rehman, “A Framework for Fault Tolerance in Distributed Real Time Systems”, IEEE International Conference on Emerging Technologies, ICET’2005, Islamabad, Pakistan, Sept. 17-18, 2005. [Link]
  •  M. Masud Khokhar, Zafar I. Malik, Shaukat Ali, “Using Software Agents with MPEG-7 Descriptions for a Distributed Flexible Multimedia System”, First International Conference on Information and Communication Technologies, ICICT 2005, Karachi, Pakistan, 2005. [Link]
  •  Safoora Shakil Khan, Shaukat Ali, M. Jaffar-ur-Rehman, “A Framework to Refine, Verify, and Identify Aspectual Requirements”, First International Conference on Information and Communication Technologies, ICICT 2005, Karachi, Pakistan, 2005. [Link]
  •  Nadeem Iftikhar, Zouhaib Zafar, Shaukat Ali, “Context-Aware Querying in Multimedia Databases – A Futuristic Approach”, Third World Enformatika Conference, WEC’05, April 27-29, 2005, Istanbul , Turkey.
  •  Omer Mansoor Paracha, Zafar I. Malik, Shaukat Ali, “Audio and Video Codecs Distribution using Mobile Agents”, First International Conference on Information and Communication Technologies, ICICT 2005, Karachi, Pakistan, 2005.
  •  Arsalan A. Shah, Zafar I. Malik, Shaukat Ali, “PP-FSM: Peer to Peer File Share for Multimedia”, International Conference on Software and Knowledge Engineering, SKE 2005.
  •  Maryam Humayun, Zafar I. Malik, Shaukat Ali, “PEIBM – Perceiving Emotions using an Intelligent Behavioral Model”, International Conference on Software and Knowledge Engineering, SKE 2005.
  •  Shaukat Ali, M. Jaffar-ur-Rehman, Aamer Nadeem, “Quantitative Analysis of Event Trees using Hidden Markov Models”, Information and Communication Technologies International Symposium, ICTIS’ 2005, Islamabad, Pakistan, 2005