Sections

Skip to content. | Skip to navigation

You are here: Home → People → Muhammad Zohaib Iqbal

Muhammad Zohaib Iqbal

PhD Student
Mobile: +47 400 27 027
E-mail: zohaib@simula.no
Affiliations: Simula School of Research and Innovation AS Certus

I am currently working as a PhD student in the CERTUS center on the VERDE project. that deals with system testing of real-time embedded systems. For this purpose, we have provided a modeling methodology that uses UML, MARTE, OCL, and our proposed UML profile for modeling various concepts in the environment of such systems. The tester models both the behavior and structure of the environment. The models is then used to automate three tasks:

  • Executable simulator generation that simulates the modeled environment
  • Test case generation using various testing strategies, including search-based techniques
  • Test oracle, which is obtained from information in the models about the possible hazardous/unwanted environment states

Research Interests

  • Software Testing
  • Model-Based Testing
  • Model Driven Development

Publications

International Journals

  • Andrea Arcuri, Muhammad Zohaib Iqbal, Lionel Briand, "Random Testing: Theoretical Results and Practical Implications", accepted for publication in IEEE Transactions on Software Engineering, 2011 (Link)
  • Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand, Automated System Testing of Real-Time Embedded Systems Based on Environment Models, Submitted to journal, 2011 (Corresponding Technical Report)
  • Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand, Solving OCL Constraints for Test Data Generation in Industrial Systems with Search Techniques, Submitted to journal, 2011 (Corresponding Technical Report)
  • Muhammad Zohaib Iqbal, Andrea Arcuri, and Lionel Briand, "Code Generation from UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software", Submitted to journal, 2011 (Corresponding Technical Report)
  • S. Ali, L. C. Briand, M. Jaffar-ur Rehman, H. Asghar, M. Z. Iqbal, A. Nadeem, "A State-based Approach to Integration Testing for Object-Oriented Programs", Information and Software Technology 49(11-12):1087-1106 , 2007 (Link)

International Conferences

  • Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand, "A Search-based OCL Constraint Solver for Model-based Test Data Generation", In: Proceedings of the 11th International Conference On Quality Software (QSIC 2011), IEEE, 2011 (Link)
  • Andrea Arcuri, Muhammad Zohaib Iqbal, Lionel Briand, "Black-box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing", In: IFIP International Conference on Testing Software and Systems (ICTSS), 2010 (Link)
  • Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand, "Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies", In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2010 (Link)
  • Andrea Arcuri, Muhammad Zohaib Iqbal, Lionel Briand, "Formal Analysis of the Effectiveness and Predictability of Random Testing", In: ACM International Symposium on Software Testing and Analysis (ISSTA), 2010 (ACM Distinguished Paper Award) (Link)
  • Qurat-ul-an Farooq, Muhammad Zohaib Iqbal, Zafar Malik, Matthias Riebisch, "A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support", In proceedings of 17th IEEE International Conference on Engineering of Computer-Based Systems (ECBS), pp. 41-49, ISBN: 978-0-7695-4005-4, May 2010, Oxford, UK (Link)
  • Irum Rauf, Muhammad Zohaib Z Iqbal, Zafar I Malik, "Model-Based Testing of Web Service Composition Using UML Profile", In proceedings of 2nd Workshop on Model-based Testing in Practice, CTIT Workshop Proceedings Series WP09-08, pp 75 -84, ISSN 0929-0672, June 2009, Enschede, Netherlands (Link)
  • Irum Rauf, Muhammad Zohaib Z Iqbal, Zafar I Malik "UML-Based Modeling of Web Service Composition - A Survey", in proceedings of IEEE 6th International Conference on Software Engineering Research, Management and Applications (SERA’ 2008), August, 2008, Czech Republic, sera, pp.301-307 (Link)
  • Tabinda Waheed, Muhammad Zohaib Z Iqbal, Zafar I Malik, "Data Flow Analysis of UML Action Semantics for Executable Models", in proceedings of 2008 European Conference on Model Driven Architecture Foundations and Applications (ECMDA) 2008, Lecture Notes in Computer Science (LNCS), Springer – Verlag, Berlin Heidelberg 2008. Volume 5098/2008, pp 79 – 93, 2008 (Link)
  • Atifah Ali, Aamer Nadeem, Muhammad Zohaib Z Iqbal, Mohammad Usman, "Regression Testing based on UML Design Models", In proceedings of 13th IEEE Pacific Rim International Symposium on Dependable Computing(PRDC – 2007), Melbourne, Australia, December, 2007, ISBN: 0-7695-3054-0, doi: 10.1109/PRDC.2007.58 (Link)
  • Najla Raza, Aamer Nadeem, Muhammad Zohaib Z Iqbal "An Automated Approach to System Testing based on Scenarios and Operations Contracts", In proceedings of Seventh International Conference on Quality Software (IEEE - QSIC, 2007), USA, October 2007, pages: 256-261, ISBN:978-0-7695-3035-2, doi:  10.1109/QSIC.2007.4385504 (Link)
  • Qurat-ulann Farooq, Muhammad Zohaib Z Iqbal, Zafar I. Malik, Aamer Nadeem, "An Approach to Selective State-Machine based Regression Testing", In proceedings of 3rd International Workshop on Advances in Model-based Testing (AMOST, 2007), London, UK, July 2007, pages: 44-52, ISBN:978-1-59593-850-3, doi 10.1145/1291535.1291540 (Link)

 
Personal tools