Search the dblp DataBase

Publications of Author

1. Keqin Li 0002, Roland Groz, Muzammil Shahbaz
   Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:436-450 [Conf]
   
2. Muzammil Shahbaz
   Incremental Inference of Black-Box Components to Support Integration Testing. [Citation Graph (0, 0)][DBLP]
   TAIC PART, 2006, pp:71-74 [Conf]
   
3. Keqin Li 0002, Roland Groz, Muzammil Shahbaz
   Integration Testing of Components Guided by Incremental State Machine Learning. [Citation Graph (0, 0)][DBLP]
   TAIC PART, 2006, pp:59-70 [Conf]
   
4. Muzammil Shahbaz, Keqin Li 0002, Roland Groz
   Learning Parameterized State Machine Model for Integration Testing. [Citation Graph (0, 0)][DBLP]
   COMPSAC (2), 2007, pp:755-760 [Conf]
   
5. Muzammil Shahbaz, Keqin Li 0002, Roland Groz
   Learning and Integration of Parameterized Components Through Testing. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:319-334 [Conf]
   
6. 
   Model Inference Approach for Detecting Feature Interactions in Integrated Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Inferring Mealy Machines. [Citation Graph (, )][DBLP]
   
   
8. 
   Using Invariant Detection Mechanism in Black Box Inference. [Citation Graph (, )][DBLP]
   
   
9. 
   Modular System Verification by Inference, Testing and Reachability Analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    Automatic Discovery of Unspecified Behaviors in Automotive Control Software. [Citation Graph (, )][DBLP]