Dr. Aamer Nadeem

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	Evaluation of Metamorphic Relations of Image Processing Operations using Mutation Testing
2.	PhD	Achieving State Space Reduction in Generated Ajax Web Application State Machine
3.	PhD	Formalization of a Use Case Model to Kripke Structure and LTL Formulas
4.	PhD	Improving Software Fault Prediction using Novel Metrics based on Data Flow Volume and Coupling Complexity
5.	PhD	Software Fault Prediction for Object-Oriented Programs Swaying Inheritance Aspect
6.	PhD	Test Data Generation for Evolutionary Mutation Testing of Object Oriented Programs
7.	PhD	An Automated Approach to Model-based Testing of Multi-agent Systems
8.	PhD	A Study on the Functional Impact of BRCA1 and BRCA2 Genes Mutations in Breast Cancer.
9.	MS	Anaphoric Ambiguity Detection in Software Requirements Specification
10.	MS	Metamorphic Testing of Unsupervised Machine Learning Algorithms
11.	MS	Identifying an Effective set of Attributes for Machine Learning based Bug Report Classification
12.	MS	An Effective Undersampling Approach to deal with Class Imbalance Problem in Software Fault Prediction
13.	MS	Energy Aware Test Suite Prioritization for Android Applications
14.	MS	Predicting Number of Software Faults using Significant Process and Code Metrics
15.	MS	A GUI Based Approach to Detect Energy Bugs in Android Applications
16.	MS	A Static Analysis Based Approach to Detect Energy Bugs in Android Applications
17.	MS	A Use Case Complexity Based Approach to Prioritize Test Cases for Software Product Line Testing
18.	MS	Mutation Testing for Unity 3D
19.	MS	Test Case Prioritization Based on Path Complexity
20.	MS	Improving Use Case Based Feature Model Construction for Software Product Lines
21.	MS	Test Case Prioritization for Software Product Line Testing
22.	MS	Improving Test Adequacy Assessment by Novel JavaScript Mutation Operators
23.	MS	Improving requirements coverage in test case prioritization for regression testing
24.	MS	Test case prioritization based upon prioritized requirements
25.	MS	Mutation based Test Case Prioritization
26.	MS	Multi-criteria Test Case Prioritization based on Additional Strategy
27.	MS	Evaluation and Enhancement of Program Slicing based Detection of Equivalent Mutants
28.	MS	Model Based Automated Regression Testing of Web Applications
29.	MS	Usage based GUI Testing of Mobile Applications
30.	MS	Improving Efficiency of Mutation Based Test Case Generation
31.	MS	A Configurable Architecture for Adaptive Software Fault Tolerance
32.	MS	Improving Automated Classification of Software Bugs Using Negation Cues
33.	MS	Improving Unit-level Testing by Combining Black-box and Selective White-box Testing
34.	MS	Multi-objective Evolutionary Generation of Whole Test Suites
35.	MS	A Fitness Function for Automated Test Data Generation for Object Oriented Programs
36.	MS	An ACO based Approach to Generating Feasible Test Paths for Testing of Graphical User Interfaces
37.	MS	Multiple Paths Coverage Approach to EFSM based Testing
38.	MS	Sensitivity Analysis of Wnt Pathway Model
39.	MS	Group Balancing Based Test Data Generation for Multiple Paths Coverage using Genetic Algorithms
40.	MS	A Mobile Agent Communication Protocol to Optimize Message Delivery Cost
41.	MS	An Aspect Flow Graph Based Approach to Testing of Aspect Oriented Programs
42.	MS	A Specification based Approach to Regression Testing of Web Services
43.	MS	A UML Profile for Real-time Industrial Control Systems
44.	MS	Polymorphic Testing using Object-Z
45.	MS	Automated Construction of FSM from Object-Z Specification
46.	MS	A Formal Model for English Auction Protocol
47.	MS	Data Flow Based Testing of Aspect Oriented Programs
48.	MS	A State Based Fitness Function for Evolutionary Testing of Object Oriented Programs
49.	MS	Identifying Data Member Level Changes for Regression Testing of Object Oriented Programs
50.	MS	A Configurable Fault-Tolerant Architecture for Component Based Systems
51.	MS	Automated Generation of Executable Java Code From UML Diagrams
52.	MS	MDA Based DFD to UML Class Diagram Model Transformation
53.	MS	Regression Testing using UML Design Models
54.	MS	Automatic Extraction of Input and Output Predicates from Z Specification
55.	MS	A UML Profile and Testing Method for Aspect Oriented Software
56.	MS	An Automated Scenario Based Testing Approach using Operation Contracts
57.	MS	Impact of Human Psychology on Exploratory Testing
58.	MS	A Framework for Formal Specification and Verification of Aspect Oriented Programs
59.	MS	A Consistency Checking Approach for UML Analysis and Design Artifacts
60.	MS	TestOptimizer: A Test Case Reduction and Prioritization Framework
61.	MS	An Antecedence Graph Approach for Fault Tolerance in a Multi Agent System
62.	MS	Automated Test Case Generation from Object-Z Specifications
63.	MS	A Security Framework for Mobile Agent Systems

SR.	JOURNAL PUBLICATIONS	YEAR
1	F. Jafari and A. Nadeem, “Measuring Effectiveness of Metamorphic Relations for Image Processing Using Mutation Testing,” Journal of Imaging, vol. 10, no. 4, p. 87, Apr. 2024, doi: 10.3390/jimaging10040087.	2024
2	M. S. Khan, M. S. I. Malik, and A. Nadeem, “Detection of violence incitation expressions in Urdu tweets using convolutional neural network,” Expert Systems with Applications, vol. 245, p. 123174, Jan. 2024, doi: 10.1016/j.eswa.2024.123174.	2024
3	M. B. Khan and A. Nadeem, “Evaluating the effectiveness of decomposed Halstead Metrics in software fault prediction,” PeerJ Computer Science, Nov. 2023.	2023
4	F. Jafari, A. Nadeem, and Q. Zaman, “Evaluation of Metamorphic Testing for Edge Detection in MRI Brain Diagnostics,” Applied Sciences, vol. 12, no. 17, Aug. 2022, doi: 10.3390/app12178684.	2022
5	N. F. Malik, A. Nadeem, and M. A. Sindhu, “Achieving State Space Reduction in Generated Ajax Web Application State Machine,” Intelligent Automation and Soft Computing, vol. 33, no. 1, pp. 429-455, Jan. 2022, doi: 10.32604/iasc.2022.023423	2022
6	M. Rizwan, A. Nadeem, S. Sarwar, M. Iqbal, M. Safyan, and Z. U. Qayyum, “EkmEx - An Extended Framework for Labeling an Unlabeled Fault Dataset,” Multimedia Tools and Applications, Jan. 2022.	2022
7	S. R. Aziz, T. A. Khan, and A. Nadeem, “Inheritance metrics feats in unsupervised learning to classify unlabeled datasets and clusters in fault prediction,” PeerJ Computer Science, vol. 7, p. e722, Oct. 2021, doi: 10.7717/peerj-cs.722.	2021
8	M. Rizwan, A. Nadeem, and M. A. Sindhu, “Vovel metrics – novel coupling metrics for improved software fault prediction,” PeerJ Computer Science, vol. 7, p. e590, June 2021, doi: 10.7717/peerj-cs.590.	2021
9	S. R. Aziz, T. A. Khan, and A. Nadeem, “Exclusive use and evaluation of inheritance metrics viability in software fault prediction – an experimental study,” PeerJ Computer Science, vol. 7, p. e563, June 2021, doi: 10.7717/peerj-cs.563.	2021
10	M. Rizwan, A. Nadeem, M. Iqbal, S. Sarwar, M. Safyan, and Z. U. Qayyum, “An Adaptive Software Fault Tolerant Framework for Ubiquitous Vehicular Technologies,” IEEE Communications Standards Magazine, vol. 4, no. 4, pp. 26-32, Dec. 2020, doi: 10.1109/MCOMSTD.001.2000012.	2020
11	S. R. Aziz, T. A. Khan, and A. Nadeem, “Efficacy of Inheritance Aspect in Software Fault Prediction – A Survey Paper,” IEEE Access, vol. 8, pp. 170548-170567, Sep. 2020, doi: 10.1109/ACCESS.2020.3022087.	2020
12	N. M. Minhas, S. Masood, K. Petersen, and A. Nadeem, “A systematic mapping of test case generation techniques using UML interaction diagrams,” Journal of Software: Evolution and Process, vol. 32, no. 6, June 2020	2020
13	Q. Zaman, A. Nadeem, and M. A. Sindhu, “Formalizing the use case model: A model-based approach,” PLoS One, vol. 15, no. 4, Apr. 2020.	2020
14	S. R. Aziz, T. A. Khan, and A. Nadeem, “Experimental Validation of Inheritance Metrics’ Impact on Software Fault Prediction,” IEEE Access, vol. 7, pp. 85262-85275, Jun. 2019, doi: 10.1109/ACCESS.2019.2924040.	2019
15	M. Rizwan, A. Nadeem, and M. A. Sindhu, “Analyses of Classifier’s Performance Measures Used in Software Fault Prediction Studies,” IEEE Access, vol. 7, pp. 82764-82775, Jun. 2019, doi: 10.1109/ACCESS.2019.2923821.	2019
16	S. U. Rehman, A. Nadeem, and M. A. Sindhu, “Towards Automated Testing of Multi-agent Systems using Prometheus Design Models,” International Arab Journal of Information Technology, vol. 16, no. 1, pp. 54-65, Jan. 2019	2019
17	M. B. Bashir and A. Nadeem, “Improved Genetic Algorithm to Reduce Mutation Testing Cost,” IEEE Access, vol. 5, pp. 3657-3674, Mar. 2017, doi: 10.1109/ACCESS.2017.2678200.	2017
18	S. Ahmed and A. Nadeem, “A Mobile Agent Based Communication Protocol to Optimize Message Delivery Cost,” Journal of Systems and Software, vol. 121, pp. 40-48, Nov. 2016, doi: 10.1016/j.jss.2016.08.001.	2016
19	R. Bano, M. Ismail, A. Nadeem, M. H. Khan, and H. Rashid, “Potential Risk Factors for Breast Cancer in Pakistani Women,” Asian Pacific Journal of Cancer Prevention, vol. 17, no. 9, pp. 4307-4312, Sep. 2016.	2016
20	S. A. Khan and A. Nadeem, “An Empirical Investigation on Test Data Generation for Coupling Based Integration Testing,” Science International, vol. 28, no. 1, 2016.	2016
21	S. U. Rehman and A. Nadeem, “An approach to model based testing of multiagent systems,” The Scientific World Journal, vol. 2015, Article ID 925206, Mar. 2015, doi: 10.1155/2015/925206	2015
22	A. A. Haider, A. Nadeem, and S. Rafiq, “Multiple Objective Test Suite Optimization: A Fuzzy Logic Based Approach,” Journal of Intelligent and Fuzzy Systems, vol. 27, no. 2, pp. 863-875, Feb. 2014, doi: 10.3233/IFS-131045	2014
23	I. A. Qureshi and A. Nadeem, “GUI Testing Techniques: A Survey,” International Journal of Future Computer and Communication, vol. 2, no. 2, Apr. 2013.	2013
24	A. A. Haider and 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.	2013
25	A. A. Haider and 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	2013
26	A. A. A. Jilani, M. Usman, A. Nadeem, Z. I. Malik, and Z. Halim, “Comparative Study on DFD to UML Diagrams Transformations,” World of Computer Science and Information Technology Journal, Feb. 2011.	2011
27	M. Usman and A. Nadeem, “Automatic Generation of Java Code from UML Diagrams using UJECTOR,” International Journal of Software Engineering and Its Applications, vol. 3, no. 2, Apr. 2009.	2009
28	F. Yousuf, A. Nadeem, and Z. Zaman, “A Configurable Fault Tolerant Architecture for Component-Based Systems,” International Journal of Software Engineering and Its Applications, vol. 3, no. 2, Apr. 2009.	2009
29	S. Ali, L. C. Briand, M. J. Rehman, H. Asghar, Z. Zafar, and A. Nadeem, “A State Based Approach to Integration Testing Based on UML Models,” Information and Software Technology, vol. 49, no. 11-12, pp. 1087-1106, Nov. 2007	2007
30	A. Nadeem and M. Y. Javed, “An Empirical Analysis of Secret Key Encryption Algorithms,” Teknologix Journal, Sep. 2005.	2005
31	A. Nadeem and 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, Jun. 2005	2005
32	A. Nadeem and M. J. Rehman, “Automated Test Case Generation from IFAD VDM++ Specifications,” WSEAS Transactions on Computers, vol. 4, no. 2, pp. 233-239, Feb. 2005.	2005

SR.	CONFERENCE PUBLICATIONS	YEAR
1	M. Naheed, A. Nadeem, Q. Zaman: A Requirement Based Approach to Test Case Prioritization for Regression Testing. 19th International Bhurban Conference on Applied Sciences and Technology (IBCAST 2022), Aug. 16-20, 2022, Islamabad, Pakistan.	2022
2	S.F. Gillani, A. Nadeem, M. Rizwan: An Effective Undersampling Approach to Deal with Class Imbalance Problem in Software Defect Prediction. 19th International Bhurban Conference on Applied Sciences and Technology (IBCAST 2022), Aug. 16-20, 2022, Islamabad, Pakistan.	2022
3	A. Naseer, A. Nadeem, Q. Zaman: A GUI Based Approach to Detect Energy Bugs in Android Applications, 16th International Conference on Emerging Technologies (ICET 2021), Dec. 22- 23, 2021, Islamabad, Pakistan.	2021
4	Shahab, A. Naseer, M.N. Zafar, A. Nadeem: Detection of Energy Bugs in Android Applications: A Systematic Literature Review. 18th International Conference on Frontiers of Information Technology (FIT 2021), Dec. 13-14, 2021, Islamabad, Pakistan.	2021
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.	2020
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.	2020
7	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.	2019
8	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.	2019
9	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.	2019
10	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.	2018
11	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.	2017
12	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.	2017
13	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.	2016
14	A.A. Haider, A. Nadeem, S. Akram: Safe regression test suite optimization: A review, International Conference on Open Source Systems and Technologies (ICOSST 2016), Dec. 15-17, 2016, Lahore, Pakistan.	2016
15	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.	2015
16	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.	2015
17	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.	2015
18	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.	2014
19	M.D. Bashir, A. Nadeem: A Fitness Function for Evolutionary Mutation Testing of Objectoriented Programs, 9th International Conference on Emerging Technologies (ICET 2013), Dec. 9-10, 2013, Islamabad, Pakistan.	2013
20	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.	2013
21	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.	2013
22	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.	2013
23	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.	2013
24	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.	2013
25	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.	2013
26	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.	2013
27	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.	2012
28	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.	2012
29	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.	2012
30	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.	2012
31	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.	2010
32	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.	2010
33	M.A. Ahmad, A. Nadeem: Consistency Checking of UML Models using Description Logics: A Critical Review, 6th International Conference on Emerging Technologies (ICET 2010), Oct. 18-19, 2010, Islamabad, Pakistan.	2010
34	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	2010
35	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.	2010
36	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.	2010
37	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, 2009, Islamabad, Pakistan.	2009
38	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.	2009
39	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.	2009
40	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.	2009
41	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.	2009
42	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.	2009
43	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.	2009
44	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.	2009
45	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.	2008
46	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.	2008
47	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.	2008
48	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.	2008
49	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.	2007
50	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.	2007
51	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.	2006
52	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.	2006
53	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.	2006
54	M.N. Qamar, M.U. Khan, A. Nadeem: An Automatable Framework for Formal Specification and 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.	2006
55	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.	2006
56	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.	2006
57	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.	2005
58	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.	2005
59	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.	2004
60	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.	2004
61	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.	2004
62	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.	2004

Our Team

PROFILE SUMMARY

Other Members