An Overview of JB (Jade Bird) Component Library System JBCL. - Keqin Li 002; Lifeng Guo; Hong Mei 001; Fuqing Yang (TOOLS (24), 1997)

Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms. - Keqin Li 002; David Lee (TestCom, 2005)

Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. - Keqin Li 002; Roland Groz; Muzammil Shahbaz (FORTE, 2006)

Integration Testing of Components Guided by Incremental State Machine Learning. - Keqin Li 002; Roland Groz; Muzammil Shahbaz (TAIC PART, 2006)

Test Generation from Security Policies Specified in Or-BAC. - Keqin Li 002; Laurent Mounier; Roland Groz (COMPSAC (2), 2007)

Learning Parameterized State Machine Model for Integration Testing. - Muzammil Shahbaz; Keqin Li 002; Roland Groz (COMPSAC (2), 2007)

Learning and Integration of Parameterized Components Through Testing. - Muzammil Shahbaz; Keqin Li 002; Roland Groz (TestCom/FATES, 2007)

Achieving Socio-technical Confidentiality Using Security Pattern in Smart Homes. - Pierre Busnel; Paul El Khoury; Sylvain Giroux; Keqin Li 002 (FGCN (2), 2008)

Modular System Verification by Inference, Testing and Reachability Analysis. - Roland Groz; Keqin Li 002; Alexandre Petrenko; Muzammil Shahbaz (TestCom/FATES, 2008)

S&D Pattern Deployment at Organizational Level: A Prototype for Remote Healthcare System. - Pierre Busnel; Paul El Khoury; Keqin Li 002; Ayda Saïdane; Nicola Zannone (STM@IFIPTM, 2008)

Extraction de modèles paramétrés au cours du test de composants logiciels. - Roland Groz; Muzammil Shahbaz; Keqin Li 002 (Tech. Sci. Informatiques, 2008)

SERENITY Aware Development of Security and Dependability Solutions. - Daniel Serrano; Antonio Maña; Rafael Llarena; Beatriz Gallego-Nicasio Crespo; Keqin Li 002 (Security and Dependability for Ambient Intelligence, 2009)

SERENITY Aware System Development Process. - Daniel Serrano; Antonio Maña; Rafael Llarena; Beatriz Gallego-Nicasio Crespo; Keqin Li 002 (Security and Dependability for Ambient Intelligence, 2009)

Model-Checking Driven Security Testing of Web-Based Applications. - Alessandro Armando; Roberto Carbone; Luca Compagna; Keqin Li 002; Giancarlo Pellegrino (ICST Workshops, 2010)

Towards Security Vulnerability Detection by Source Code Model Checking. - Keqin Li 002 (ICST Workshops, 2010)

Implicit flows in malicious and nonmalicious code. - Alejandro Russo; Andrei Sabelfeld; Keqin Li 002 (Logics and Languages for Reliability and Security, 2010)

Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP. - Robert Grabowski; Martin Hofmann 001; Keqin Li 002 (Formal Aspects in Security and Trust, 2011)

A Service-oriented Architecture for Emergency Management Systems. - Stephan Braune; Achim D. Brucker; Gerald Kleser; Keqin Li 002; Theo Dirk Meijler; Heiko Paulheim; Florian Probst (Software Engineering (Workshops), 2011)

Organizational Patterns for Security and Dependability: From Design to Application. - Yudistira Asnar; Fabio Massacci; Ayda Saïdane; Carlo Riccucci; Massimo Felici; Alessandra Tedeschi; Paul El Khoury; Keqin Li 002; Magali Seguran; Nicola Zannone (Int. J. Secur. Softw. Eng., 2011)

VERA: A Flexible Model-Based Vulnerability Testing Tool. - Abian Blome; Martín Ochoa; Keqin Li 002; Michele Peroli; Mohammad Torabi Dashti (ICST, 2013)

The Forth International Workshop on Security Testing (SECTEST 2013). - Keqin Li 002; Wissam Mallouli (ICST Workshops, 2013)

Inferring Approximated Models for Systems Engineering. - Alexandre Petrenko; Keqin Li 002; Roland Groz; Karim Hossen; Catherine Oriat (HASE, 2014)

Tool support for secure programming by security testing. - Keqin Li 002; Cédric Hébert; Jan Lindemann; Michael Sauter; Holger Mack; Tom Schroer; Abhay Tiple (ICST Workshops, 2015)

Integration testing of communicating systems with unknown components. - Roland Groz; Keqin Li 002; Alexandre Petrenko (Ann. des Télécommunications, 2015)