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 |