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 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 PUBLICATIONSYEAR
1F. 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
2M. 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
3M. B. Khan and A. Nadeem, “Evaluating the effectiveness of decomposed Halstead Metrics in software fault prediction,” PeerJ Computer Science, Nov. 2023.2023
4F. 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
5N. 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.0234232022
6M. 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
7S. 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
8M. 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
9S. 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
10M. 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
11S. 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
12N. 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 20202020
13Q. 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
14S. 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
15M. 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
16S. 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. 20192019
17M. 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
18S. 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
19R. 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
20S. 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
21S. 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/9252062015
22A. 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-1310452014
23I. A. Qureshi and A. Nadeem, “GUI Testing Techniques: A Survey,” International Journal of Future Computer and Communication, vol. 2, no. 2, Apr. 2013.2013
24A. 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
25A. 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. 20132013
26A. 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
27M. 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
28F. 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
29S. 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. 20072007
30A. Nadeem and M. Y. Javed, “An Empirical Analysis of Secret Key Encryption Algorithms,” Teknologix Journal, Sep. 2005.2005
31A. 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. 20052005
32A. 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 PUBLICATIONSYEAR
1M. 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
2S.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
3A. 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
4Shahab, 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
5M. 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
6M. 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
7T. 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
8R. 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
9M. 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
10M.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
11R. 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
12F. 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
13A.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
14A.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
15A. 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
16M. 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
17M. 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
18M.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
19M.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
20S.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
21S.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
22T. 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
23A.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
24A.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
25S.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
26S.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
27M.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
28A.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
29S. 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
30M.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
31R. 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
32M.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
33M.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
34S. 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, Pakistan2010
35S.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
36K. 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
37S. 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
38L. 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
39M.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
40S. 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
41M.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
42S.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
43Z. 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
44A. 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
45M. 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
46F. 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
47A.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
48M. 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
49A. 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
50N. 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
51A. 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
52S.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
53I. 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
54M.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
55A. 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
56S.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
57A. 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
58A. 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
59A. 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
60A. 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
61M.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
62A. 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

Other Members