BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Iqbal:Muhammad_Zohaib_Z=

Contributed to:

ESEC/FSE 20152015
ISSTA 20152015
ISSTA 20122012
MoDELS 20122012
ICTSS 20102010
ISSTA 20102010
MoDELS (1) 20102010
ECMDA-FA 20082008
A-MOST 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.