PUBLICATIONS

Recent Publications

  • Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, "A product-line model-driven engineering approach for generating feature-based mobile applications." , accepted for publication inJournal of Systems and Software 123 (2017): 1-32.(Link)
  • Ali Shaukat, Muhammad Zohaib Iqbal, Maham Khalid, Andrea Arcuri , "Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach." , accepted for publication in Empirical Software Engineering 21, no. 6 (2016): 2459-2502.(Link)
  • Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood , An Automated Model-Based Testing Approach for Platform Games , accepted for publication in ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS’15), 2015, Canada. (Link)
  • Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand and Muhammad Zohaib Iqbal, UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications, accepted for publication at 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE' 15), September 2015, Italy (Link)
  • Muhammad Uzair Khan, Numra Arshad, Muhammad Zohaib Iqbal, Hafsa Umer , AspectOCL: An Extension to OCL for Specifying Crosscutting Constraints , accepted for publication at European Conference on Modeling Foundations and Applications, (ECMFA' 15), Italy. (Link)
  • Safdar Aqeel Safdar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Empirical Evaluation of UML Modeling Tools- A Controlled Experiment , accepted for publication at European Conference on Modeling Foundations and Applications, (ECMFA' 15), Italy. (Link)
  • Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand and Muhammad Zohaib Iqbal, Automatic Generation of System Test Cases from Use Case Specifications , accepted for publication at International Symposium on Software Testing & Analysis (ISSTA' 15), Baltimore, USA
  • Shaukat Ali, Muhammad Zohaib Iqbal, Maham Khalid, Andrea Arcuri, Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach , accepted for publication in Empirical Software Engineering Journal (ESEM), 2015
  • Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan , A Model-driven Approach to Generate Mobile Applications for Multiple Platforms , accepted for publication at 21st Asia-Pacific Software Engineering Conference, Jeju, Korea, (APSEC) 2014
  • Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali, A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines , in 30th International Conference On Software Maintenance and Evolution (ICSME), 2014, (pp. 557-560). IEEE. (Link)
  • Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Panesar-Walawege, Insights on the Use of OCL in Diverse Industrial Applications, in System Analysis and Modelling Conference (SAM), 2014 (pp 223-238). (Link )
  • Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel Briand, Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines, in Software and Systems Modeling Journal (SoSyM), 2014
  • Atif Aftab Jillani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan A Search based Test Data Generation Approach for Model Transformations, in International Conference on Model Transformations (ICMT), 2014, (Link)
  • Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri Improved Heuristics for Solving OCL Constraints using Search Algorithms, in Genetic and Evolutionary Computing Conference (GECCO), 2014, (Pages 1231-1238 ) (Link)
  • Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand, Generating Test Data from OCL Constraints with Search Techniques, in IEEE Transactions on Software Engineering, 39(10):1376 - 1402, 2013 (Link)
  • Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand, "Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software", accepted for publication in Software and Systems Modeling Journal (SoSyM), 2015 (Link)
  • 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, 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 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 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 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 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 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 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)
  • Shaukat Ali, Lionel Briand, Muhammad Jaffar-ur Rehman,Hajra Asghar, Muhammad Zohaib Iqbal, Aamer Nadeem "A State-based Approach to Integration Testing based on UML Models", Information and Software Technology 49(11-12):1087-1106 , 2007