Muzammil Shahbaz's Publications

• Muzammil Shahbaz. Incremental inference of black-box components to support integration testing. Doctoral Symposium. In TAIC PART, Windsor, UK, August 2006. IEEE Computer Society. [PDF]
• 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]
• Keqin Li, Roland Groz and Muzammil Shahbaz. Integration testing of distributed components based on learning parameterized I/O models. In FORTE, volume 4229 of LNCS, pages 437-451, Paris, France, 2006. [PDF]
• Roland Groz, Muzammil Shahbaz and Keqin Li. Une approche incrémentale de test par extraction de modèles. In AFADL, Namur, Belgium, June 2007. [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, Keqin Li and Roland Groz. Learning parameterized state machine model for integration testing. In COMPSAC, Beijing, China, July 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)