dblp.uni-trier.dewww.uni-trier.de

Keqin Li

LSR-IMAG, France

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Roland Groz [2] [3] [4] [5] [6] [7]
2David Lee [1]
3Laurent Mounier [6]
4Alexandre Petrenko [7]
5Muzammil Shahbaz [2] [3] [4] [5] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)