Keqin Li

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