Muhammad Zohaib Iqbal

 

December 2012: I have moved from Simula to National University of Computer & Emerging Sciences (FAST-NU), Islamabad, Pakistan, where I am working as an Assistant Professor in the Department of Computer Science. 

Visit my new home page: http://isb.nu.edu.pk/zohaib/

-------------------------------------------

 I completed my PhD under the supervision of Prof. Lionel Briand and Dr. Andrea Arcuri. During my PhD, I worked on the VERDE project that dealt with system testing of real-time embedded systems. For the project, we  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 are 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
  • Search-based Software Engineering
  • Empirical Software Engineering

Publications

International Journals (including under review)

  • Andrea Arcuri, Muhammad Zohaib Iqbal, Lionel Briand, "Random Testing: Theoretical Results and Practical Implications", IEEE Transactions on Software Engineering, 38(2):258-277, 2012 (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 (including under review)

  • Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel Briand, "Experiences of Applying UML/MARTE on Three Industrial Projects", In:Proceedings of ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), October 2012 (Link)
  • Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand, "Combining Search-based Testing and Adaptive Random Testing to Improve Environment Model-based Testing of Real-time Embedded Systems", In: Proceedings of Symposium on Search Based Software Engineering, September 2012 (Link)
  • Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand, "Empirical Investigation of Search Algorithms for Environment Model-based Testing of Real-Time Embedded Software", In:  Proceedings of International Symposium on Software Testing and Analysis (ISSTA), ACM, 2012 (Link)
  • 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