Dr. Aamer Nadeem

PROFILE SUMMARY

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 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 47 Masters and two PhD research theses in the areas of software testing, fault tolerance and formal methods. He has authored or co-authored over 100 papers in reputable international journals and conferences. He is reviewer or editorial board member of several international peer-reviewed journals and conferences. Dr. Nadeem is an Approved PhD Supervisor by the Higher Education Commission (HEC) of Pakistan. 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
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
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 Software Engineering Program	Capital University of Science and Technology	2018 – 2021
Head of Department (Bioinformatics & Biosciences)	Capital University of Science and Technology	2015 – 2018
HoD Bioinformatics and Biosciences	Capital University of Science and Technology	2013 – 2015
Head of Research Group	Center for Software Dependability, Capital University of Science and Technology, Islamabad	Since – 2015
Head of Research Group	Center for Software Dependability, Mohammad Ali Jinnah University, Islamabad Campus	2005 – 2015
Head of IT Dept.	Securities and Exchange Commission of Pakistan	1994 – 2003

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.	Fully-funded research appointment at the Department of Computer Science and Engineering, Chinese University of Hong Kong, Hong Kong SAR
2.	HEC Fellowship for Indigenous PhD studies in Computer Science by Higher Education Commission of Pakistan
3.	1st position in MSc in the Department of Computer Science at Quaid-i-Azam University, Islamabad
4.	1st position and Gold Medal in B.Sc. at F.G. Sir Syed College, Rawalpindi

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	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
1.	S.R. Aziz, T.A. Khan, A. Nadeem: Efficacy of Inheritance Aspect in Software Fault Prediction – A Survey Paper, IEEE Access, accepted Sep. 2020. [IF 3.745]
2.	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
3.	Q. Zaman, A. Nadeem, M.A. Sindhu: Formalizing the use case model: A model-based approach, Plos One, 15(4), April 2020. [IF 2.776]
4.	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. [IF 4.098]
5.	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. [IF 4.098]
6.	M.B. Bashir, A. Nadeem: Improved Genetic Algorithm to Reduce Mutation Testing Cost, IEEE Access, accepted, 2017
7.	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
8.	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]
9.	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
10.	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
11.	S.A. Khan, A. Nadeem: An Empirical Investigation on Test Data Generation for Coupling Based Integration Testing, Science International, 28(1), 2016
12.	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
13.	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
14.	I.A. Qureshi, A. Nadeem: GUI Testing Techniques: A Survey, International Journal of Future Computer and Communication, Vol. 2, No. 2, Apr. 2013
15.	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
16.	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
17.	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
18.	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
19.	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
20.	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
21.	A. Nadeem, M.Y. Javed: An Empirical Analysis of Secret Key Encryption Algorithms, Teknologix Journal, Sep.2005
22.	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
23.	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.	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.
2.	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.
3.	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.
4.	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.
5.	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.
6.	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.
7.	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.
8.	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
9.	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
10.	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
11.	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
12.	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
13.	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
14.	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
15.	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
16.	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
17.	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
18.	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
19.	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
20.	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
21.	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
22.	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
23.	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
24.	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
25.	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
26.	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
27.	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
28.	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
29.	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
30.	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
31.	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
32.	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
33.	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
34.	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
35.	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
36.	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
37.	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
38.	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
39.	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
40.	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
41.	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
42.	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
43.	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
44.	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
45.	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
46.	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
47.	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
48.	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
49.	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
50.	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
51.	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
52.	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
53.	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
54.	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
55.	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
56.	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
57.	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
58.	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
59.	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
60.	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
61.	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
62.	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
63.	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
64.	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
65.	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
66.	T. Waheed, M.U. Khan, A. Nadeem: Polymorphic Extensions to Object-Z Specifications, IEEE Tencon 2006, Nov. 2006, Hong Kong
67.	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
68.	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
69.	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
70.	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
71.	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
72.	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)
73.	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
74.	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
75.	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
76.	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
77.	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
78.	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
79.	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
80.	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
81.	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

Our Team

PROFILE SUMMARY

RESEARCH AREAS / INTERESTS

Other Members