Year 2021

1. M. Rizwan, A. Nadeem, S. Sarwar, M. Iqbal, M. Safyan, Z.U. Qayyum: EkmEx – An Extended Framework for Labeling an Unlabeled Fault Dataset, Multimedia Tools and Applications, accepted Jun. 2021 [Link]

2. M. Rizwan, A. Nadeem, M.A. Sindhu: Vovel metrics – novel coupling metrics for improved software fault prediction. PeerJ Computer Science 7:e590, DOI 10.7717/peerj-cs.590, June 2021 [Link]

3. S.R. Aziz, T.A. Khan, A. Nadeem: Exclusive use and evaluation of inheritance metrics viability in software fault prediction – an experimental study. PeerJ Computer Science 7:e563, DOI 10.7717/peerj-cs.563, June 2021 [Link]

Year 2016 - 2020

1. M. Rizwan, A. Nadeem, M. Iqbal, S. Sarwar, M. Safyan, Z.U. Qayyum: An Adaptive Software Fault Tolerant Framework for Ubiquitous Vehicular Technologies, IEEE Communications Standards Magazine, vol. 4, issue 4, pp. 26-32, DOI 10.1109/MCOMSTD.001.2000012, Dec. 2020 [Link]

2. S.R. Aziz, T.A. Khan, A. Nadeem: Efficacy of Inheritance Aspect in Software Fault Prediction – A Survey Paper, IEEE Access, vol. 8, pp. 170548-170567, DOI 10.1109/ACCESS.2020.3022087, Sep. 2020 [Link]

3. N.M. Minhas, S. Masood, K. Petersen, A. Nadeem: A Systematic Mapping of Test Case Generation Techniques Using UML Interaction Diagrams, Journal of Software: Evolution and Process, 32(6), June 2020. DOI 10.1002/smr.2235 [Link]

4. Q. Zaman, A. Nadeem, M.A. Sindhu: Formalizing the use case model: A model-based approach, Plos One, 15(4), April 2020 [Link]

5. M. Rizwan, A. Nadeem, M.A. Sindhu: Empirical Evaluation of Coupling Metrics in Software Fault Prediction. 17th International Bhurban Conference on Applied Sciences and Technology (IBCAST 2020), Jan. 14-18, 2020, Islamabad, Pakistan [Link]

6. M. Rizwan, A. Nadeem, M.A. Sindhu: Theoretical Evaluation of Software Coupling Metrics. 17th International Bhurban Conference on Applied Sciences and Technology (IBCAST 2020), Jan. 14-18, 2020, Islamabad, Pakistan [Link]

7. S.R. Aziz, T. Khan, A. Nadeem: Experimental Validation of Inheritance Metrics’ Impact on Software Fault Prediction, IEEE Access, vol. 7, pp. 85262-85275, June 2019. DOI 10.1109/ACCESS.2019.2924040 [Link]

8. M. Rizwan, A. Nadeem, M.A. Sindhu: Analyses of Classifier’s Performance Measures Used in Software Fault Prediction Studies, IEEE Access, vol. 7, pp. 82764-82775, June 2019. DOI 10.1109/ACCESS.2019.2923821 [Link]

9. S.U. Rehman, A. Nadeem, M.A. Sindhu: Towards Automated Testing of Multi-agent Systems using Prometheus Design Models, International Arab Journal of Information Technology, 16(1), pp. 54-65, Jan. 2019 [Link]

10. T. Afzal, A. Nadeem, M.A. Sindhu, Q. Zaman: Test Case Prioritization Based on Path Complexity. 17th International Conference on Frontiers of Information Technology (FIT 2019), Dec. 16-18, 2019, Islamabad, Pakistan [Link]

11. R. Butool, A. Nadeem, M.A. Sindhu, Q. Zaman: Improving Requirements Coverage in Test Case Prioritization for Regression Testing. 22nd IEEE International Multitopic Conference (INMIC 2019), held on November 29-30, 2019, Islamabad, Pakistan [Link]

12. M.B. Bashir, A. Nadeem: An Evolutionary Mutation Testing System for Java Programs: eMuJava. Intelligent Computing-Proceedings of the Computing Conference 2019, Advances in Intelligent Systems and Computing, vol. 998 (pp. 847-865). Springer, Cham. DOI 10.1007/978-3-030-22868-2_58 [Link]

13. M. Muzamal, A. Nadeem: Improving test adequacy assessment by novel JavaScript mutation operators, 16th International Bhurban Conference on Applied Sciences and Technology (IBCAST 2019), Jan. 9-12, 2019, Islamabad, Pakistan [Link]

14. M.B. Bashir, A. Nadeem: An Experimental Tool for Search-Based Mutation Testing, 16th International Conference on Frontiers of Information Technology (FIT 2018), Dec. 17-19, 2018, Islamabad, Pakistan [Link]

15. M.B. Bashir, A. Nadeem: Improved Genetic Algorithm to Reduce Mutation Testing Cost, IEEE Access, vol. 5, pp. 3657-3674, March 2017. DOI 10.1109/ACCESS.2017.2678200 [Link]

16. R. Abid, A. Nadeem: A Novel Approach to Multiple Criteria Based Test Case Prioritization, 13th International Conference on Emerging Technologies (ICET 2017), Dec. 27-28, 2017, Islamabad, Pakistan [Link]

17. F. Farooq, A. Nadeem: A Fault Based Approach to Test Case Prioritization, 15th International Conference on Frontiers of Information Technology (FIT 2017), Dec. 18-20, 2017, Islamabad, Pakistan [Link]

18. S. Ahmed, A. Nadeem: A Mobile Agent Based Communication Protocol to Optimize Message Delivery Cost, Journal of Systems and Software, Vol. 121, pp. 40-48, November 2016, DOI: 10.1016/j.jss.2016.08.001 [Link]

19. R. Bano, M. Ismail, A. Nadeem, M.H. Khan, H. Rashid: Potential Risk Factors for Breast Cancer in Pakistani Women, Asian Pacific Journal of Cancer Prevention, Vol. 17, No. 9, pp. 4307-4312, September 2016 [Link]

20. S.A. Khan, A. Nadeem: An Empirical Investigation on Test Data Generation for Coupling Based Integration Testing, Science International, 28(1), 2016 [Link]

21. A.A. Haider, A. Nadeem, S. Akram: Regression Test Suite Optimization Using Adaptive Neuro Fuzzy Inference System, 14th International Conference on Frontiers of Information Technology (FIT 2016), Dec. 19-21, 2016, Islamabad, Pakistan [Link]

22. A.A. Haider, A. Nadeem, S. Akram: Safe regression test suite optimization: A review, International Conference on Open Source Systems & Technologies (ICOSST 2016), Dec. 15-17, 2016, Lahore, Pakistan [Link]

Year 2011 - 2015

1. S.U. Rehman, A. Nadeem: An Approach to Model Based Testing of Multiagent Systems, The Scientific World Journal, vol. 2015, Article ID 925206, doi:10.1155/2015/925206, 2015 [Link]

2. A. Hussain, A. Nadeem, M.T. Ikram: Review on formalizing use cases and scenarios: Scenario based testing, 11th International Conference on Emerging Technologies (ICET 2015), Dec. 19-20, 2015, Peshawar, Pakistan [Link]

3. M. Touseef, N. Anwer, A. Hussain, A. Nadeem: Testing from UML Design using Activity Diagram: A Comparison of Techniques, 11th International Conference on Emerging Technologies (ICET 2015), Dec. 19-20, 2015, Peshawar, Pakistan [Link]

4. M. Rizwan, A. Nadeem, M.B. Khan: An Evaluation of Software Fault Tolerance Techniques for Optimality, 11th International Conference on Emerging Technologies (ICET 2015), Dec. 19-20, 2015, Peshawar, Pakistan [Link]

5. Q. Zaman, M.A. Sindhu, A. Nadeem: Formalizing a Use Case to a Kripke Structure, International Software Engineering and Applications (SEA 2015), Oct. 26-27, 2015, Marina del Rey, USA, doi: 10.2316/P.2015.829-017 [Link]

6. A.A. Haider, A. Nadeem, S. Rafiq: Multiple Objective Test Suite Optimization: A Fuzzy Logic Based Approach, Journal of Intelligent and Fuzzy Systems, 27(2), 2014 [Link]

7. M.B. Bashir, A. Nadeem: A state-based fitness function for the integration testing of object-oriented programs, 10th International Conference on Emerging Technologies (ICET 2014), Dec. 8-9, 2014, Islamabad, Pakistan [Link]

8. S.A. Khan, A. Nadeem: Automated Test Data Generation for Coupling Based Integration Testing of Object Oriented Programs Using Particle Swarm Optimization (PSO), 7th International Conference on Genetic and Evolutionary Computing (ICGEC 2013), Aug. 25-27, 2013, Prague, Czech Republic, Advances in Intelligent Systems and Computing 238, Springer International Publishing Switzerland, 2014 [Link]

9. I.A. Qureshi, A. Nadeem: GUI Testing Techniques: A Survey, International Journal of Future Computer and Communication, Vol. 2, No. 2, Apr. 2013 [Link]

10. A.A. Haider, A. Nadeem: A Survey of Safety Analysis Techniques for Safety Critical Systems, International Journal of Future Computer and Communication, Vol. 2, No. 2, Apr. 2013 [Link]

11. A.A. Haider, A. Nadeem: Formal Modeling Languages to Specify Real-time Systems: A Survey, International Journal of Future Computer and Communication, Vol. 2, No. 2, Apr. 2013 [Link]

12. M.B. Bashir, A. Nadeem: A Fitness Function for Evolutionary Mutation Testing of Object-oriented Programs, 9th International Conference on Emerging Technologies (ICET 2013), Dec. 9-10, 2013, Islamabad, Pakistan [Link]

13. S.A. Khan, A. Nadeem: Coupling based Integration Testing: A Fitness Function, 9th International Conference on Emerging Technologies (ICET 2013), Dec. 9-10, 2013, Islamabad, Pakistan [Link]

14. S.A. Khan, A. Nadeem: A tool for data flow testing using evolutionary approaches (ETODF), 9th International Conference on Emerging Technologies (ICET 2013), Dec. 9-10, 2013, Islamabad, Pakistan [Link]

15. T. Masood, A. Nadeem, S.A. Khan: An Automated Approach to Regression Testing of Web Services based on WSDL Operation Changes, 9th International Conference on Emerging Technologies (ICET 2013), Dec. 9-10, 2013, Islamabad, Pakistan [Link]

16. A.A. Haider, A. Nadeem, S. Rafiq: Computational Intelligence and Safe Reduction of Test Suite, 9th International Conference on Emerging Technologies (ICET 2013), Dec. 9-10, 2013, Islamabad, Pakistan [Link]

17. A.A. Haider, A. Nadeem, S. Rafiq: On the Fly Test Suite Optimization with FuzzyOptimizer, 11th International Conference on Frontiers of Information Technology (FIT 2013), Dec. 16-18, 2013, Islamabad, Pakistan [Link]

18. S.U. Rehman, A. Nadeem: Testing of Autonomous Agents: A Critical Analysis, Saudi International Electronics, Communications and Photonics Conference (SIECPC 2013), Apr. 27-30, 2013, Riyadh, KSA [Link]

19. S.A. Khan, A. Nadeem: Automated Test Data Generation for Coupling Based Integration Testing of Object Oriented Programs Using Evolutionary Approaches, 10th International Conference on Information Technology: New Generations (ITNG 2013), Apr. 15-17, 2013, Las Vegas, NV, USA [Link]

20. M.B. Bashir, A. Nadeem: Control Oriented Mutation Testing for Detection of Potential Software Bugs, 10th International Conference on Frontiers of Information Technology (FIT 2012), Dec. 17-19, 2012, Islamabad, Pakistan [Link]

21. A.A. Haider, S. Rafiq, A. Nadeem: Test Suite Optimization using Fuzzy Logic, 8th International Conference on Emerging Technologies (ICET 2012), Oct. 8-9, 2012, Islamabad, Pakistan [Link]

22. S. Ahmed, A. Nadeem: A Survey on Mobile Agent Communication Protocols, 8th International Conference on Emerging Technologies (ICET 2012), Oct. 8-9, 2012, Islamabad, Pakistan [Link]

23. M.B. Bashir, A. Nadeem: Object Oriented Mutation Testing – A Survey, 8th International Conference on Emerging Technologies (ICET 2012), Oct. 8-9, 2012, Islamabad, Pakistan [Link]

24. A.A.A. Jilani, M. Usman, A. Nadeem, Z.I. Malik, Z. Halim: Comparative Study on DFD to UML Diagrams Transformations, World of Computer Science and Information Technology Journal, Feb. 2011 [Link]

25. K. Latif, A. Nadeem: A UML Profile for Real Time Industrial Control Systems, International Conference on Advanced Software Engineering and its Applications (ASEA 2011), Dec. 8-10, 2011, Jeju Island, Korea, Communications in Computer and Information Science, Vol. 257, Springer-Verlag [Link]

26. Z. Khai, A. Nadeem, G. Lee: A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams, International Conference on Advanced Software Engineering and its Applications (ASEA 2011), Dec. 8-10, 2011, Jeju Island, Korea, Communications in Computer and Information Science, Vol. 257, Springer-Verlag [Link]

27. T. Masood, A. Nadeem, G. Lee: A Safe Regression Testing Technique for Web Services Based on WSDL Specification, International Conference on Advanced Software Engineering and its Applications (ASEA 2011), Dec. 8-10, 2011, Jeju Island, Korea, Communications in Computer and Information Science, Vol. 257, Springer-Verlag [Link]

28. S.U. Rehman, A. Nadeem: AgentSpeak (L) Based Testing of Autonomous Agents, International Conference on Advanced Software Engineering and its Applications (ASEA 2011), Dec. 8-10, 2011, Jeju Island, Korea, Communications in Computer and Information Science, Vol. 257, Springer-Verlag [Link]

29. S.A. Khan, A. Nadeem: Applying Evolutionary Approaches to Data Flow Testing at Unit Level, International Conference on Advanced Software Engineering and its Applications (ASEA 2011), Dec. 8-10, 2011, Jeju Island, Korea, Communications in Computer and Information Science, Vol. 257, Springer-Verlag [Link]

Year 2006 - 2010

1. 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 [Link]

2. 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 [Link]

3. 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 [Link]

4. 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 [Link]

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

6. 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).

7. 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 [Link]

8. 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 [Link]

9. 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]

10. 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.

11. 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 [Link]

12. 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 [Link]

13. 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 [Link]

14.  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 [Link]

15. 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 [Link]

16. 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]

17. 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 [Link]

18. 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 [Link]

19. 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 [Link]

20. 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 [Link]

21. 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 [Link]

22. 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[Link]

23. 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 [Link]

24. 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.

25. 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 [Link]

26.  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 [Link]

27. 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 [Link]

28. 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 [Link]

29. 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 [Link]

30. 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 [Link]

31. 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 [Link]

32. 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 [Link]

33. 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 [Link]

34. 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 [Link]

Year 2001 - 2005

1. 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]

2.  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]

3.  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 [Link]

4.  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 [Link]

5.  Shaukat Ali, M. Jaffar-ur-Rehman, “Constructing Software Fault Trees for Prolog Programs“, IADIS International Conference on Applied Computing, 2005.

6.  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.

7.  Shaukat Ali, M. Jaffar-ur-Rehman, Aamer Nadeem, “Safety Analysis of Embedded Systems“, Workshop on Embedded Systems, National Institute of Electronics, November 2004.

8.  Shaukat Ali, M. Jaffar-ur-Rehman,  Aamer Nadeem, “An Enhanced Fault Tree Analysis using Hidden Markov Model“, International Workshop on Software Systems, IWSS 2004.

9.  M. Uzair Khan, M. Jaffar-ur-Rehman, Aamer Nadeem, “A Framework for Development of Fault Tolerant Applications“, International Workshop on Software Systems, IWSS 2004.

10.  M. Masud Khokhar, M. Jaffar-ur-Rehman, Aamer Nadeem, “Heuristics for Identifying Error-Prone Segments of Code“, International Workshop on Software Systems, IWSS 2004.

11. 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]

12. 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]

13.  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]

14.  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]

15.  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]

16.  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.

17.  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.

18. 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.

19.  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]

20.  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]

21.  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]

22.  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]

23.  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]

24.  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]

25.  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]

26.  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.

27.  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.

28.  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.

29.  Maryam Humayun, Zafar I. Malik, Shaukat Ali, “PEIBM – Perceiving Emotions using an Intelligent Behavioral Model“, International Conference on Software and Knowledge Engineering, SKE 2005.

30.  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