Travelled to:1 × Austria
1 × Brazil
1 × Germany
1 × Norway
1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:L.C.Briand A.Arcuri Z.I.Malik C.Wang F.Pastore A.Goknil T.Waheed S.Ali T.Yue Q.Farooq A.Nadeem
Talks about:test (8) system (6) case (5) model (3) embed (3) time (3) real (3) base (3) use (3) uml (3)
Person: Muhammad Zohaib Z. Iqbal
DBLP: Iqbal:Muhammad_Zohaib_Z=
Contributed to:
2015
20152012
2012
201020102010
2008
2007Wrote 9 papers:
- ESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing #tool support
- UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.
- ISSTA-2015-WangPGBI #automation #case study #generative #specification #testing
- Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.
- ISSTA-2012-IqbalAB #algorithm #embedded #empirical #modelling #realtime #testing
- Empirical investigation of search algorithms for environment model-based testing of real-time embedded software (MZZI, AA, LCB), pp. 199–209.
- MoDELS-2012-IqbalAYB #case study #experience #industrial #uml
- Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
- ICTSS-2010-ArcuriIB #black box #embedded #random #realtime #search-based #testing #using
- Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing (AA, MZZI, LCB), pp. 95–110.
- ISSTA-2010-ArcuriIB #analysis #effectiveness #formal method #predict #random testing #testing
- Formal analysis of the effectiveness and predictability of random testing (AA, MZZI, LCB), pp. 219–230.
- MoDELS-v1-2010-IqbalAB #black box #case study #embedded #industrial #modelling #realtime #testing #uml
- Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.
- ECMDA-FA-2008-WaheedIM #action semantics #analysis #data flow #execution #modelling #semantics #uml
- Data Flow Analysis of UML Action Semantics for Executable Models (TW, MZZI, ZIM), pp. 79–93.
- A-MOST-2007-FarooqIMN #approach #state machine #testing
- An approach for selective state machine based regression testing (QuaF, MZZI, ZIM, AN), pp. 44–52.