dramirnadeem

Dr. Aamer Nadeem

PROFESSOR
PROFILE SUMMARY

Dr. Aamer Nadeem is a Professor of Software Engineering at the Capital University of Science and Technology (CUST). His areas of research interest include application of artificial intelligence techniques in software testing and reliability; analysis of soft requirements; and metamorphic testing of machine learning algorithms. He is head of the Center for Software Dependability (CSD) – a research group at CUST, working in diverse areas within the domain of software reliability and dependability. Dr. 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 Researcher at the Chinese University of Hong Kong (CUHK) under a research collaboration. He has over 35 years of teaching, research and industry experience in computer science and software engineering. He has supervised 50+ Masters and five PhD research theses in the areas of software testing, fault tolerance and formal methods. He has authored or co-authored 115 research papers in reputed international journals and conferences. He is reviewer or editorial board member of several international peer-reviewed journals and conferences.

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
TEACHING EXPERIENCE
Professor Capital University of Science and Technology Since – 2019
Associate Professor Capital University of Science and Technology 2015 – 2018
Associate Professor Mohammad Ali Jinnah University, Islamabad 2008 – 2015
Assistant Professor Mohammad Ali Jinnah University, Islamabad 2003 – 2008
INDUSTRIAL EXPERIENCE
Systems Analyst Securities and Exchange Commission of Pakistan, Islamabad 1994 – 2003
Systems Analyst Pakistan Customs, Karachi 1992 – 1994
MANAGEMENT EXPERIENCE
HoD Head of Department (Software Engineering), Capital University of Science and Technology 2018 – 2021
HoD Head of Department (Bioinformatics & Biosciences), Capital University of Science and Technology 2015 – 2018
RESEARCH AREAS / INTERESTS
1. Software Testing and Reliability
2. Software Fault Tolerance
3. Agent Oriented Computing
4. 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 A Use Case Complexity Based Approach to Prioritize Test Cases for Software Product Line Testing
4. MS Mutation Testing for Unity 3D
5. MS Test Case Prioritization Based on Path Complexity
6. MS Improving Use Case Based Feature Model Construction for Software Product Lines
7. MS Test Case Prioritization for Software Product Line Testing
8. MS Improving Test Adequacy Assessment by Novel JavaScript Mutation Operators
9. MS Improving requirements coverage in test case prioritization for regression testing
10. MS Test case prioritization based upon prioritized requirements
11. MS Mutation based Test Case Prioritization
12. MS Multi-criteria Test Case Prioritization based on Additional Strategy
13. MS Evaluation and Enhancement of Program Slicing based Detection of Equivalent Mutants
14. MS Model Based Automated Regression Testing of Web Applications
15. MS Usage based GUI Testing of Mobile Applications
16. MS Improving Efficiency of Mutation Based Test Case Generation
17. MS A Configurable Architecture for Adaptive Software Fault Tolerance
18. MS Improving Automated Classification of Software Bugs Using Negation Cues
19. MS Improving Unit-level Testing by Combining Black-box and Selective White-box Testing
20. MS Multi-objective Evolutionary Generation of Whole Test Suites
21. MS A Fitness Function for Automated Test Data Generation for Object Oriented Programs
22. MS An ACO based Approach to Generating Feasible Test Paths for Testing of Graphical User Interfaces
23. MS Multiple Paths Coverage Approach to EFSM based Testing
24. MS Sensitivity Analysis of Wnt Pathway Model
25. MS Group Balancing Based Test Data Generation for Multiple Paths Coverage using Genetic Algorithms
26. MS A Mobile Agent Communication Protocol to Optimize Message Delivery Cost
27. MS An Aspect Flow Graph Based Approach to Testing of Aspect Oriented Programs
28. MS A Specification based Approach to Regression Testing of Web Services
29. MS A UML Profile for Real-time Industrial Control Systems
30. MS Polymorphic Testing using Object-Z
31. MS Automated Construction of FSM from Object-Z Specification
32. MS A Formal Model for English Auction Protocol
33. MS Data Flow Based Testing of Aspect Oriented Programs
34. MS A State Based Fitness Function for Evolutionary Testing of Object Oriented Programs
35. MS Identifying Data Member Level Changes for Regression Testing of Object Oriented Programs
36. MS A Configurable Fault-Tolerant Architecture for Component-Based Systems
37. MS Automated Generation of Executable Java Code From UML Diagrams
38. MS MDA Based DFD to UML Class Diagram Model Transformation
39. MS Regression Testing using UML Design Models
40. MS Automatic Extraction of Input and Output Predicates from Z Specification
41. MS A UML Profile and Testing Method for Aspect Oriented Software
42. MS An Automated Scenario Based Testing Approach using Operation Contracts
43. MS Impact of Human Psychology on Exploratory Testing
44. MS A Framework for Formal Specification and Verification of Aspect Oriented Programs
45. MS A Consistency Checking Approach for UML Analysis and Design Artifacts
46. MS TestOptimizer: A Test Case Reduction and Prioritization Framework
47. MS An Antecedence Graph Approach for Fault Tolerance in a Multi Agent System/td>
48. MS Automated Test Case Generation from Object-Z Specifications
49. MS A Security Framework for Mobile Agent Systems
JOURNAL PUBLICATIONS
S.R. Aziz, T.A. Khan, A. Nadeem: Efficacy of Inheritance Aspect in Software Fault Prediction – A Survey Paper, IEEE Access, accepted Sep. 2020.
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, accepted Aug. 2020
Q. Zaman, A. Nadeem, M.A. Sindhu: Formalizing the use case model: A model-based approach, Plos One, 15(4), April 2020.
S.R. Aziz, T.A. 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.
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.
M.B. Bashir, A. Nadeem: Improved Genetic Algorithm to Reduce Mutation Testing Cost, IEEE Access, accepted, 2017
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
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. [IF 3.244]
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
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
S.A. Khan, A. Nadeem: An Empirical Investigation on Test Data Generation for Coupling Based Integration Testing, Science International, 28(1), 2016
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
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
I.A. Qureshi, A. Nadeem: GUI Testing Techniques: A Survey, International Journal of Future Computer and Communication, Vol. 2, No. 2, Apr. 2013
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
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
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
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
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
A. Nadeem, M.Y. Javed: An Empirical Analysis of Secret Key Encryption Algorithms, Teknologix Journal, Sep.2005
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
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
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.
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.
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.
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.
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.
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.
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 (ICET 2009), 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, 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.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
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
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
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, UK
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
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
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
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
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
T. Waheed, M.U. Khan, A. Nadeem: Polymorphic Extensions to Object-Z Specifications, IEEE Tencon 2006, Nov. 2006, Hong Kong
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
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
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
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
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
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)
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
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
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
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
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
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
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
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
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