BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Japan
1 × The Netherlands
2 × Canada
Collaborated with:
R.Groz K.Li P.McMinn M.Stevenson K.C.Shashidhar R.Eschbach A.Petrenko
Talks about:
test (3) system (2) compon (2) infer (2) base (2) parameter (1) reachabl (1) modular (1) generat (1) analysi (1)

Person: Muzammil Shahbaz

DBLP DBLP: Shahbaz:Muzammil

Contributed to:

ICST 20122012
ISSTA 20112011
FM 20092009
TestCom/FATES 20082008
TestCom/FATES 20072007

Wrote 5 papers:

ICST-2012-McMinnSS #data type #generative #query #search-based #string #using #web
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries (PM, MS, MS), pp. 141–150.
ISSTA-2011-ShahbazSE #component #embedded #refinement #specification
Iterative refinement of specification for component based embedded systems (MS, KCS, RE), pp. 276–286.
FM-2009-ShahbazG #automaton
Inferring Mealy Machines (MS, RG), pp. 207–222.
TestCom-FATES-2008-GrozLPS #analysis #composition #reachability #testing #verification
Modular System Verification by Inference, Testing and Reachability Analysis (RG, KL, AP, MS), pp. 216–233.
TestCom-FATES-2007-ShahbazLG #component #integration #learning #testing
Learning and Integration of Parameterized Components Through Testing (MS, KL, RG), pp. 319–334.

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.