Publications of Muzammil Shahbaz

Load the BibTeX file

Academic Journals

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

International Conferences

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, November 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, September 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, July 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, June 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, September 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, August 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, August 2006.

National conferences or workshops

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, June 2007.

Thesis and habilitations

1. Muzammil Shahbaz. Reverse Engineering Enhanced State Models of Black Box Software Components to support Integration Testing. PhD Thesis Institut Polytechnique de Grenoble, Grenoble, France, December 2008.