Muhammad Zohaib Z. Iqbal

21 papers A 4B 1C 3Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2015 A conf
Automatic generation of system test cases from use case specifications.
ISSTA
Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal
2015 J jnl
Environment modeling and simulation for automated testing of soft real-time embedded software.
Softw. Syst. Model.
Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand
2015 — conf
UMTG: a toolset to automatically generate system test cases from use case specifications.
ESEC/SIGSOFT FSE
Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal
2014 — conf
A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms.
APSEC (1)
Muhammad Usman, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan
2013 J jnl
Generating Test Data from OCL Constraints with Search Techniques.
IEEE Trans. Software Eng.
Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand
2012 B conf
Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems.
SSBSE
Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand
2012 A conf
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software.
ISSTA
Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand
2012 — —
Environment model-based system testing of real-time embedded systems.
Muhammad Zohaib Z. Iqbal
2012 A conf
Experiences of Applying UML/MARTE on Three Industrial Projects.
MoDELS
Muhammad Zohaib Z. Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand
2012 J jnl
Random Testing: Theoretical Results and Practical Implications.
IEEE Trans. Software Eng.
Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand
2011 — conf
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation.
QSIC
Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand
2010 — conf
A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support.
ECBS
Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Matthias Riebisch
2010 C conf
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing.
ICTSS
Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand
2010 — conf
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies.
MoDELS (1)
Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand
2010 A conf
Formal analysis of the effectiveness and predictability of random testing.
ISSTA
Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand
2008 — conf
Data Flow Analysis of UML Action Semantics for Executable Models.
ECMDA-FA
Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik
2008 C conf
UML Based Modeling of Web Service Composition - A Survey.
SERA
Irum Rauf, Muhammad Zohaib Z. Iqbal, Zafar I. Malik
2007 J jnl
A state-based approach to integration testing based on UML models.
Inf. Softw. Technol.
Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur Rehman, Hajra Asghar, Muhammad Zohaib Z. Iqbal, Aamer Nadeem
2007 — conf
An Automated Approach to System Testing Based on Scenarios and Operations Contracts.
QSIC
Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal
2007 — conf
An approach for selective state machine based regression testing.
A-MOST
Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Aamer Nadeem
2007 C conf
Regression Testing Based on UML Design Models.
PRDC
Atifah Ali, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, Muhammad Usman