|
Research Interests:
Model Driven Approaches, Program Analysis/Understanding/Interpretation,
Reverse Engineering, Model Based Testing, Validation and Verification
Short Biography:
Muzammil
Shahbaz earned his PhD degree in Software Engineering from Grenoble
Institute of Technology, France
in 2008. He completed his Masters in Software Engineering from University of
Joseph Fourier, France
in 2005, and BS (Hons) in Computer Sciences from University of Central Punjab, Pakistan in 2003.
Muzammil
has been working as a Research Engineer at France Telecom R&D / Orange Labs
during his PhD. He was involved in developing techniques for system
integration using third-party software components and for their validation,
with the application on intelligent systems and mobile phone services. He has
also worked at Verimag, France during his
Master's program, where he was involved in the project of STMicroelectronics for the verification of system-on-chips.
Before that, he served for two years as a Software Engineer at KAPS Computing Pvt
Ltd, Pakistan,
where he was involved in the projects related to information retrieval and
B2B/B2C service development for Hewlett-Packard
Development CompanyHehhssdezs.
|
|
Selected Publications: (Full
Publications) (DBLP)
- Keqin Li, Roland
Groz and Muzammil Shahbaz. Integration Testing of Components Guided by
Incremental State Machine Learning. In TAIC PART, Windsor,
UK,
August 2006. IEEE Computer Society. [PDF]
- Muzammil Shahbaz,
Keqin Li and Roland Groz. Learning and Integration of Parameterized
Components through Testing. In TestCom/FATES,
volume 4581 of LNCS, pages 319-334, Tallinn,
Estonia,
June 2007. [PDF]
- Muzammil Shahbaz,
Benoit Parreaux and Francis Klay. Model
Inference Approach for Detecting Feature Interactions in Integrated
Systems. In ICFI: International Conference on Feature Interactions in
Software and Communication Systems, Grenoble,
France,
September 2007. [PDF]
- Muzammil Shahbaz and
Roland Groz. Using Invariant Detection Mechanism in Black Box Inference.
In ISoLA: Workshop On Leveraging Applications
of Formal Methods, Verification and Validation, Poitiers,
France,
December 2007. [PDF]
- Roland Groz, Keqin
Li, Alexandre Petrenko and Muzammil Shahbaz. Modular
System Verification by Inference, Testing and Reachability Analysis. In TestCom/FATES, volume 5047 of LNCS, pages 216-233, Tokyo,
Japan,
June 2008. [PDF]
- Roland Groz, Muzammil Shahbaz and Keqin Li.
Extraction de modèles paramétrés au cours du test de composants
logiciels. In TSI 2008. (journal)
|
