![]() | ![]() |
LSR-IMAG, France
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
2008 | ||
---|---|---|
7 | EE | Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz: Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES 2008: 216-233 |
2007 | ||
6 | EE | Keqin Li, Laurent Mounier, Roland Groz: Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) 2007: 255-260 |
5 | EE | Muzammil Shahbaz, Keqin Li, Roland Groz: Learning Parameterized State Machine Model for Integration Testing. COMPSAC (2) 2007: 755-760 |
4 | EE | Muzammil Shahbaz, Keqin Li, Roland Groz: Learning and Integration of Parameterized Components Through Testing. TestCom/FATES 2007: 319-334 |
2006 | ||
3 | EE | Keqin Li, Roland Groz, Muzammil Shahbaz: Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. FORTE 2006: 436-450 |
2 | EE | Keqin Li, Roland Groz, Muzammil Shahbaz: Integration Testing of Components Guided by Incremental State Machine Learning. TAIC PART 2006: 59-70 |
2005 | ||
1 | EE | Keqin Li, David Lee: Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms. TestCom 2005: 258-274 |
1 | Roland Groz | [2] [3] [4] [5] [6] [7] |
2 | David Lee | [1] |
3 | Laurent Mounier | [6] |
4 | Alexandre Petrenko | [7] |
5 | Muzammil Shahbaz | [2] [3] [4] [5] [7] |