Publications of Keqin Li

Load the BibTeX file

Academic Journals

1. 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. Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat. Inferring Approximated Models for Systems Engineering. In 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), Pages 249-253, Miami, Florida, USA, January 2014.
2. 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.
3. 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.
4. K. Li, L. Mounier, R. Groz. Test Generation from Security Policies Specified in Or-BAC. In COMPSAC - IWSSE Workshop (IEEE International Workshop on Security in Software Engineering), Pages 255-260, Beijing, July 2007.
5. 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
6. 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.
7. 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.

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.

Research Reports

1. Roland Groz, Keqin Li, Alexandre Petrenko. Verification of Modular Systems with Unknown Components Combining Testing and Inference. Research Report LIG, No 28, 2013.