dramirnadeem

Dr. Aamer Nadeem (PhD MAJU, Islamabad)

PROFESSOR / HEAD OF SOFTWARE ENGINEERING PROGRAM
PROFILE SUMMARY

Dr. Aamer Nadeem received his MSc degree in computer science from Quaid-i-Azam University (QAU), MS in software engineering from National University of Sciences and Technology (NUST), and PhD in computer science from Mohammad Ali Jinnah University (MAJU). During his PhD, he worked as a Visiting Scholar at the Chinese University of Hong Kong (CUHK) under a research collaboration. He has over 30 years of teaching, research and industry experience in computer science and software engineering. He has supervised 41 Masters and two PhD research theses in software engineering. He has authored or co-authored over 90 articles in international journals and conferences. He is a professional member of the Association for Computing Machinery (ACM).

QUALIFICATION
PhD Computer Science Mohammad Ali Jinnah University, Islamabad 2007
MS Software Engineering National University of Sciences and Technology (NUST), Islamabad. 2003
MSc Computer Science Quaid-i-Azam University, Islamabad. 1988
BSc Mathematics and Physics F.G. Sir Syed College, Rawalpindi 1985
TEACHING EXPERIENCE
Associate Professor Capital University of Science and Technology Since – 2015
Associate Professor Mohammad Ali Jinnah University, Islamabad 2008 – 2015
Assistant Professor Mohammad Ali Jinnah University, Islamabad 2003 – 2008
Visiting Faculty Quaid-i-Azam University, Islamabad 2004 – 2007
Research Assistant Chinese University of Hong Kong 2005 – 2005
Visiting Faculty Dr. A.Q. Khan Institute of Technology and Management, Islamabad 2002 – 2003
Visiting Faculty Hamdard University, Islamabad Campus 2002 – 2003
INDUSTRIAL EXPERIENCE
Systems Analyst Securities and Exchange Commission of Pakistan, Islamabad 1994 – 2003
Systems Analyst Pakistan Customs, Karachi 1992 – 1994
Programmer Armed Forces Institute of Cardiology, Rawalpindi 1990 – 1992
Application Programmer ABM Data Systems (Pvt.) Limited 1988 – 1990
MANAGEMENT EXPERIENCE
Head of Department (Bioinformatics & Biosciences) Capital University of Science and Technology Since – 2013
MEMBERSHIP OF PROFESSIONAL BODIES
Member National Curriculum Revision Committee (Computer Science, Software Engineering and IT), Higher Educa
Professional Member ACM (Association for Computing Machinery), New York, USA,
HONORS & AWARDS
1. Secured 1st position in the college in BSc from F.G. Sir Syed College, Rawalpindi, and was awarded Gold Medal.
2. Secured 1st position in MSc in the Department of Computer Science at Quaid-i-Azam University, Islamabad.
3. >Awarded HEC Fellowship for Indigenous PhD studies in Computer Science by Higher Education Commission, Islamabad.
4. Awarded a fully-funded research appointment at the Department of Computer Science and Engineering, Chinese University of Hong Kong, Hong Kong SAR, in summer 2005.
RESEARCH AREAS / INTERESTS

1.Software Testing and Reliability
2. Software Fault Tolerance
3. Formal Methods and Critical Systems
4. Agent Oriented Computing
5. Artificial Intelligence and Machine Learning

RESEARCH SUPERVISION
1. PhD Test Data Generation for Evolutionary Mutation Testing of Object Oriented Programs
2. PhD An Automated Approach to Model-based Testing of Multi-agent Systems
3. MS Improving Test Adequacy Assessment by Novel JavaScript Mutation Operators
4. MS Improving requirements coverage in test case prioritization for regression testing
5. MS Test case prioritization based upon prioritized requirements
6. MS Mutation based Test Case Prioritization
7. MS Multi-criteria Test Case Prioritization based on Additional Strategy
8. MS Evaluation and Enhancement of Program Slicing based Detection of Equivalent Mutants
9. MS Model Based Automated Regression Testing of Web Applications
10. MS Usage based GUI Testing of Mobile Applications
11. MS Improving Efficiency of Mutation Based Test Case Generation
12. MS A Configurable Architecture for Adaptive Software Fault Tolerance
13. MS Improving Automated Classification of Software Bugs Using Negation Cues
14. MS Improving Unit-level Testing by Combining Black-box and Selective White-box Testing
15. MS Multi-objective Evolutionary Generation of Whole Test Suites
16. MS A Fitness Function for Automated Test Data Generation for Object Oriented Programs
17. MS An ACO based Approach to Generating Feasible Test Paths for Testing of Graphical User Interfaces
18. MS Multiple Paths Coverage Approach to EFSM based Testing
19. MS Sensitivity Analysis of Wnt Pathway Model
20. MS Group Balancing Based Test Data Generation for Multiple Paths Coverage using Genetic Algorithms
21. MS A Mobile Agent Communication Protocol to Optimize Message Delivery Cost
22. MS An Aspect Flow Graph Based Approach to Testing of Aspect Oriented Programs
23. MS A Specification based Approach to Regression Testing of Web Services
24. MS A UML Profile for Real-time Industrial Control Systems
25. MS Polymorphic Testing using Object-Z
26. MS Automated Construction of FSM from Object-Z Specification
27. MS A Formal Model for English Auction Protocol
28. MS Data Flow Based Testing of Aspect Oriented Programs
29. MS A State Based Fitness Function for Evolutionary Testing of Object Oriented Programs
30. MS Identifying Data Member Level Changes for Regression Testing of Object Oriented Programs
31. MS A Configurable Fault-Tolerant Architecture for Component-Based Systems
32. MS Automated Generation of Executable Java Code From UML Diagrams
33. MS MDA Based DFD to UML Class Diagram Model Transformation
34. MS Regression Testing using UML Design Models
35. MS Automatic Extraction of Input and Output Predicates from Z Specification
36. MS A UML Profile and Testing Method for Aspect Oriented Software
37. MS An Automated Scenario Based Testing Approach using Operation Contracts
38. MS Impact of Human Psychology on Exploratory Testing
39. MS A Framework for Formal Specification and Verification of Aspect Oriented Programs
40. MS A Consistency Checking Approach for UML Analysis and Design Artifacts
41. MS TestOptimizer: A Test Case Reduction and Prioritization Framework
42. MS An Antecedence Graph Approach for Fault Tolerance in a Multi Agent System/td>
43. MS Automated Test Case Generation from Object-Z Specifications
44. MS A Security Framework for Mobile Agent Systems
JOURNAL PUBLICATIONS
1. M.B. Bashir, A. Nadeem: Improved Genetic Algorithm to Reduce Mutation Testing Cost, IEEE Access, accepted, 2017
2. 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, accepted, 2016
3. 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
4. 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
5. S.A. Khan, A. Nadeem: An Empirical Investigation on Test Data Generation for Coupling Based Integration Testing, Science International, 28(1), 2016
6. 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
7. 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
8. I.A. Qureshi, A. Nadeem: GUI Testing Techniques: A Survey, International Journal of Future Computer and Communication, Vol. 2, No. 2, Apr. 2013
9. 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
10. 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
11. 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
12. 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
13. 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
14. S. Ali, L.C. Briand, M.J. Rehman, H. Asghar, Z. Zafar, A. Nadeem: A State Based Approach to Integration Testing Based on UML Models, Information and Software Technology, Volume 49, Issues 11-12, pages 1087-1106, Elsevier Science, Nov. 2007
15. A. Nadeem, M.Y. Javed: An Empirical Analysis of Secret Key Encryption Algorithms, Teknologix Journal, Sep.2005
16. A. Nadeem, M.J. Rehman: TESTAF: A Test Automation Framework for Class Testing using Object-oriented Formal Specifications, Journal of Universal Computer Science, Vol. 11, No. 6,Springer-Verlag, June 2005
17. A. Nadeem, M.J. Rehman: Automated Test Case Generation from IFAD VDM++ Specifications, WSEAS Transactions on Computers, Vol. 4, No. 2, pp. 233-239, Feb. 2005, ISSN 1109-2750
CONFERENCE PUBLICATIONS
1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. M.B. Bashir, A. Nadeem: A state-based fitness function for the integration testing of objectoriented
programs, 10th International Conference on Emerging Technologies (ICET 2014), Dec. 8-9, 2014, Islamabad, Pakistan
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. S.U. Rehman, A. Nadeem: Testing of Autonomous Agents: A Critical Analysis, Saudi International Electronics, Communications and Photonics Conference (SIECPC 2013), Apr. 27-30, Curriculum Vitae – Aamer Nadeem – updated August 2018 Page 6 of 9 2013, Riyadh, KSA
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. 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
25. 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
26. 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
27. 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
28. R. Ahmad, S.R. Khan, A. Nadeem, Tai-hoon Kim: ISARE: An Integrated Software Architecture Reuse and Evaluation Framework, International Conference on Advanced Software Engineering and its Applications (ASEA 2010), Dec. 13-15, 2010, Jeju Island, Korea, IEEE Computer Society Press
29. M.A. Ahmad, A. Nadeem, Tai-hoon Kim: An Automated Approach to Testing Polymorphic Features Using Object-Z, International Conference on Advanced Software Engineering and its Applications (ASEA 2010), Dec. 13-15, 2010, Jeju Island, Korea, IEEE Computer Society Press
30. M.A. Ahmad, A. Nadeem: Consistency Checking of UML Models using Description Logics: A CriticalReview, 6th International Conference on Emerging Technologies (ICET 2010), Oct. 18-19, 2010, Islamabad, Pakistan
31. S. Khalid, A. Nadeem: Automated Generation of Finite State Machine from Object-Oriented Formal Specifications, 6th International Conference on Emerging Technologies (ICET 2010), Oct. 18-19, 2010, Islamabad, Pakistan
32. S.A. Khan, A. Nadeem: UML Extensions for Modeling of Aspect Oriented Software: A Survey, National Software Engineering Conference (NSEC 2010), Oct. 4-5, 2010, Rawalpindi, Pakistan
33. K. Latif, M.A.B. Rahim, A. Rauf, A. Nadeem: Evaluation of UML Real-time Profiles for Industrial Control Systems, International Conference on Information and Emerging Technologies (ICIET 2010), Jun. 14-16, 2010, Karachi,Pakistan
34. S. Sayyab, A. Nadeem, S. Fazal: BVirusGS: DNA Analysis Toolkit for Begomovirus Genome Analysis, 13th IEEE International Multitopic Conference (INMIC 2009), held on December 14-15, Curriculum Vitae – Aamer Nadeem – updated August 2018 Page 7 of 9 2009, Islamabad, Pakistan
35. L. Shoaib, A. Nadeem, A. Akbar: An Empirical Evaluation of the Influence of Human Personality on Exploratory Software Testing, 13th IEEE International Multitopic Conference (INMIC 2009), December 14-15, 2009, Islamabad, Pakistan
36. M.B. Bashir, A. Nadeem, Nayyer Masood: Fitness Function Design for Evolutionary Testing of Object-Oriented Programs: A Survey, International Conference on Software, Knowledge and Information Management and Applications (SKIMA 2009), October 21-23, 2009, Fes, Morocco
37. S. Manzoor, A. Nadeem, N. Masood: A Survey of Change Identification Techniques for Regression Testing, International Conference on Software, Knowledge and Information Management and Applications (SKIMA 2009), October 21-23, 2009, Fes, Morocco
38. 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, Springer-Verlag, 2009
39. 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, Springer-Verlag, 2009
40. 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
41. 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 (ICET 2009), Oct. 19-20, 2009, Islamabad, Pakistan
42. 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
43. 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
44. 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
45. 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
46. A.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
47. 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
48. 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
49. 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
50. 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, Curriculum Vitae – Aamer Nadeem – updated August 2018 Page 8 of 9 Victoria, Australia
51. 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
52. 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
53. 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, UK
54. M.N. Qamar, A. Nadeem, R. Aziz: An Approach to Test Aspect-oriented Programs, World Congress on Engineering (WCE 2007), July 2-4, 2007, London, UK
55. A. Nadeem, Z.I. Malik, M.R. Lyu: An Automated Approach to Inheritance and Polymorphic Testing using a VDM++ Specification, 10th IEEE International Multitopic Conference (INMIC ’06), December, 2006, Islamabad, Pakistan
56. S.R. Khan, A. Nadeem, A. Awais: TestFilter: A Statement Coverage Based Test Case Reduction Technique, 10th IEEE International Multitopic Conference (INMIC ’06), December, 2006, Islamabad, Pakistan
57. I. Rauf, A. Nadeem, M.M. Khokhar: Formalizing Object-Oriented Design Patterns with Object-Z, 10th IEEE International Multitopic Conference (INMIC ’06), December, 2006, Islamabad, Pakistan
58. A. Nadeem, M.R. Lyu: A Framework for Inheritance Testing from VDM++ Specifications, Proceedings of the Twelfth IEEE International Symposium on Pacific Rim Dependable Computing (PRDC ’06), December, 2006, Riverside, California, USA
59. T. Waheed, M.U. Khan, A. Nadeem: Polymorphic Extensions to Object-Z Specifications, IEEE Tencon 2006, Nov. 2006, Hong Kong
60. M.N. Qamar, M.U. Khan, A. Nadeem: An Automatable Framework for Formal Specification & Verification of Aspect Oriented Programs, Workshop on Critical System Development Using Modeling Languages 2006 (CSDUML ’06) co-located with ACM/IEEE MoDELS 2006 Conference, Oct. 2006, Genova, Italy
61. A. Ashraf, A. Nadeem: Automating the Generation of Test Cases from Object-Z Specifications, 30th IEEE Annual International Computer Software and Applications Conference, (COMPSAC ’06), Sep. 17-21, 2006, Chicago, USA
62. M.M. Khokhar, A. Nadeem, O.M. Paracha: An Antecedence Graph Approach for Fault Tolerance in a Multi Agent Systems, Proceedings of the 2006 International Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT ’06), May 9-12, 2006, Nara, Japan
63. S.R. Khan, M.J. Rehman, A. Nadeem, M. Irfanullah: TestOptimizer: A Test Case Reduction and Prioritization Framework, Proceedings of the International Conference on Software Engineering (ISE ’06), 15-16 April, 2006, Lahore, Pakistan
64. A. Nadeem, M.Y. Javed: A Performance Comparison of Data Encryption Algorithms, International Conference on Information and Communication Technologies (ICICT ’05), Karachi, Pakistan, Aug. 27-28, 2005
65. S. Ali, M.J. Rehman, A. Nadeem: Quantitative Analysis of Event Trees using Hidden Markov Models, Proceedings of the Information and Communication Technologies’ International Symposium (ICTIS ’05)
66. A. Nadeem, M.J. Rehman: Automated Test Case Generation from IFAD VDM++ Specifications, 4th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS ’05), Salzburg, Austria, Feb. 13-15, 2005
67. A. Nadeem, M.J. Rehman: Automated Testing from Object-Oriented Formal Specifications, Proceedings of the IEEE International Conference on Software Engineering and Applications (ICSEA ’04), Dec. 30-31, 2004, Islamabad, Pakistan
68. A. Ashraf, M.J. Rehman, A. Nadeem, M. Irfanullah: Automated Test Case Generation from Object-Z Specifications, Proceedings of the IEEE International Conference on Software Engineering and Applications (ICSEA ’04), Dec. 30-31, 2004, Islamabad, Pakistan
69. M.M. Khokhar, M.J. Rehman, A. Nadeem: Using Fault-Tolerant Mobile Agents for Peer Discovery in P2P Networks, Proceedings of the IEEE International Conference on Software Engineering and Applications (ICSEA ’04), Dec. 30-31, 2004, Islamabad, Pakistan
70. A. Nadeem, M.J. Rehman: A Framework for Automated Testing from VDM-SL Specifications, Proceedings of the 8th IEEE International Multi-topic Conference (INMIC ’04), Dec. 24-26, 2004, Lahore, Pakistan
71. S. Ali, M.J. Rehman, A. Nadeem: Safety Analysis of Embedded Systems, Proceedings of the Workshop on Embedded Systems, National Institute of Electronics (NIE), Oct. 14, 2004, Islamabad, Pakistan
72. S. Ali, M.J. Rehman, A. Nadeem: An Enhanced Fault Tree Analysis using Hidden Markov Model, Proceedings of the International Workshop on Software Systems (IWSS ’04), Sep. 6-8, 2004, Istanbul, Turkey
73. M.U. Khan, M.J. Rehman, A. Nadeem: A Framework for Development of Fault Tolerant Applications, Proceedings of the International Workshop on Software Systems (IWSS ’04), Sep. 6-8, 2004, Istanbul, Turkey
74. M.M. Khokhar, M.J. Rehman, A. Nadeem: Heuristics for Identifying Error-Prone Segments of Code, Proceedings of the International Workshop on Software Systems (IWSS ’04), Sep. 6-8, 2004, Istanbul, Turkey

Other Members