Publications de Muzammil Shahbaz

Load the BibTeX file

Thèses et habilitations à diriger les recherches

1. Muzammil Shahbaz. Reverse Engineering Enhanced State Models of Black Box Software Components to support Integration Testing. Thèse de l'Institut Polytechnique de Grenoble, Grenoble, France, Décembre 2008.

Articles de journaux

1. M. Shahbaz, R. Groz. Analysis and testing of black-box component based systems by inferring partial models. Software Testing, Verification and Reliability, Février 2013. download
2. 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.

Conférences internationales

1. Khaled El-Fakih, Roland Groz, Muhammad Naeem Irfan, Muzammil Shahbaz. Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context. In 22nd IFIP International Conference on Testing Software and Systems, Pages 97-102, Natal, Brazil, 2010.
2. Muzammil Shahbaz, Roland Groz. Inferring Mealy Machines. In Formal Methods 2009, Pages 207-222, Eindhoven, Netherland, Novembre 2009.
3. Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz. Modular System Verification by Inference, Testing and Reachability Analysis. In Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.), Lecture Notes in Computer Science, Volume 5047, Pages 216-233, 2008.
4. Muzammil Shahbaz, Roland Groz. Using Invariant Detection Mechanism in Black Box Inference. In ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007, Yamine A\"\it Ameur, Frédéric Boniol, Virginie Wiels (eds.), Revue des Nouvelles Technologies de l'Information, Volume RNTI-SM-1, Pages 215-222, 2007.
5. Muzammil Shahbaz, Benoît Parreaux, Francis Klay. Model inference approach for detecting feature interactions in integrated systems. In International Conference on Feature Interactions in Software and Communication Systems, ICFI 2007, Pages 161-171, Grenoble, France, Septembre 2007.
6. M. Shahbaz, K. Li, R. Groz. Learning Parameterized State Machine Model for Integration Testing. In COMPSAC - TEST Workshop (IEEE International Workshop on Testing Emerging Software Technology), Pages 755-760, Beijing, Juillet 2007.
7. M. Shahbaz, K. Li, R. Groz. Learning and Integration of Parameterized Components through Testing. In TestCom-Fates'07, LNCS 4581, Pages 319-334, Tallinn, Juin 2007. download
8. K. Li, R. Groz, M. Shahbaz. Integration Testing of Distributed Components based on Learning Parameterized I/O Models. In FORTE2006 Paris, LNCS 4229, Pages 436-450, Paris, Septembre 2006.
9. K. Li, R. Groz, M. Shahbaz. Integration testing of components guided by incremental state machine learning. In Testing Academic & Industrial Conference Practice And Research Techniques (TAIC PART), Pages 59-70, Windsor, UK, Août 2006.
10. M. Shahbaz. Incremental Inference of Black-Box Components to Support Integration Testing. In Testing: Academic & Industrial Conference Practice And Research Techniques, (TAIC PART 2006), PhD Programme, Windsor, UK, Août 2006.

Communications avec actes

1. R. Groz, M. Shahbaz, K. Li. Une approche incrémentale de test par extraction de modèles. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, Juin 2007.