 | 2009 |
|---|
| 10 |       | Muzammil Shahbaz,
Roland Groz:
Inferring Mealy Machines.
FM 2009: 207-222 |
| 2008 |
|---|
| 9 | | Roland Groz,
Keqin Li,
Alexandre Petrenko,
Muzammil Shahbaz:
Modular System Verification by Inference, Testing and Reachability Analysis.
TestCom/FATES 2008: 216-233 |
| 8 | | Roland Groz,
Muzammil Shahbaz,
K. Li:
Extraction de modèles paramétrés au cours du test de composants logiciels.
Technique et Science Informatiques 27(8): 977-1006 (2008) |
| 2007 |
|---|
| 7 | | Muzammil Shahbaz,
Keqin Li,
Roland Groz:
Learning Parameterized State Machine Model for Integration Testing.
COMPSAC (2) 2007: 755-760 |
| 6 |  | Muzammil Shahbaz,
Benoît Parreaux,
Francis Klay:
Model Inference Approach for Detecting Feature Interactions in Integrated Systems.
ICFI 2007: 161-171 |
| 5 | | Muzammil Shahbaz,
Roland Groz:
Using Invariant Detection Mechanism in Black Box Inference.
ISoLA 2007: 215-222 |
| 4 | | Muzammil Shahbaz,
Keqin Li,
Roland Groz:
Learning and Integration of Parameterized Components Through Testing.
TestCom/FATES 2007: 319-334 |
| 2006 |
|---|
| 3 | | Keqin Li,
Roland Groz,
Muzammil Shahbaz:
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models.
FORTE 2006: 436-450 |
| 2 | | Keqin Li,
Roland Groz,
Muzammil Shahbaz:
Integration Testing of Components Guided by Incremental State Machine Learning.
TAIC PART 2006: 59-70 |
| 1 | | Muzammil Shahbaz:
Incremental Inference of Black-Box Components to Support Integration Testing.
TAIC PART 2006: 71-74 |
