Keqin Li

Publication Activity (10 Years)

Years Active: 1997-2015
Publications (10 Years): 2

Top Topics

Security Policies

Commercial Off The Shelf

Penetration Testing

Top Venues

Ann. des Télécommunications

Publications

Roland Groz, Keqin Li, Alexandre Petrenko
Integration testing of communicating systems with unknown components. Ann. des Télécommunications 70 (3-4) (2015)
Keqin Li, Cédric Hébert, Jan Lindemann, Michael Sauter, Holger Mack, Tom Schroer, Abhay Tiple
Tool support for secure programming by security testing. ICST Workshops (2015)
Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat
Inferring Approximated Models for Systems Engineering. HASE (2014)
Abian Blome, Martín Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti
VERA: A Flexible Model-Based Vulnerability Testing Tool. ICST (2013)
Keqin Li, Wissam Mallouli
The Forth International Workshop on Security Testing (SECTEST 2013). ICST Workshops (2013)
Stephan Braune, Achim D. Brucker, Gerald Kleser, Keqin Li, Theo Dirk Meijler, Heiko Paulheim, Florian Probst
A Service-oriented Architecture for Emergency Management Systems. Software Engineering (Workshops) (2011)
Yudistira Asnar, Fabio Massacci, Ayda Saïdane, Carlo Riccucci, Massimo Felici, Alessandra Tedeschi, Paul El Khoury, Keqin Li, Magali Seguran, Nicola Zannone
Organizational Patterns for Security and Dependability: From Design to Application. Int. J. Secur. Softw. Eng. 2 (3) (2011)
Robert Grabowski, Martin Hofmann, Keqin Li
Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP. Formal Aspects in Security and Trust (2011)
Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino
Model-Checking Driven Security Testing of Web-Based Applications. ICST Workshops (2010)
Keqin Li
Towards Security Vulnerability Detection by Source Code Model Checking. ICST Workshops (2010)
Pierre Busnel, Paul El Khoury, Keqin Li, Ayda Saïdane, Nicola Zannone
S&D Pattern Deployment at Organizational Level: A Prototype for Remote Healthcare System. Electron. Notes Theor. Comput. Sci. 244 (2009)
Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz
Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES (2008)
Roland Groz, Muzammil Shahbaz, Keqin Li
Extraction de modèles paramétrés au cours du test de composants logiciels. Tech. Sci. Informatiques 27 (8) (2008)
Pierre Busnel, Paul El Khoury, Sylvain Giroux, Keqin Li
Achieving Socio-technical Confidentiality Using Security Pattern in Smart Homes. FGCN (2) (2008)
Muzammil Shahbaz, Keqin Li, Roland Groz
Learning and Integration of Parameterized Components Through Testing. TestCom/FATES (2007)
Keqin Li, Laurent Mounier, Roland Groz
Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) (2007)
Muzammil Shahbaz, Keqin Li, Roland Groz
Learning Parameterized State Machine Model for Integration Testing. COMPSAC (2) (2007)
Keqin Li, Roland Groz, Muzammil Shahbaz
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. FORTE (2006)
Keqin Li, Roland Groz, Muzammil Shahbaz
Integration Testing of Components Guided by Incremental State Machine Learning. TAIC PART (2006)
Keqin Li, David Lee
Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms. TestCom (2005)
Keqin Li, Lifeng Guo, Hong Mei, Fuqing Yang
An Overview of JB (Jade Bird) Component Library System JBCL. TOOLS (24) (1997)