Keqin Li

Alexandre Petrenko

Ann. des Télécommunications, 2015

Tool support for secure programming by security testing.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Inferring Approximated Models for Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

The Forth International Workshop on Security Testing (SECTEST 2013).

[BibT_eX]

[DOI]

Wissam Mallouli

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

VERA: A Flexible Model-Based Vulnerability Testing Tool.

[BibT_eX]

[DOI]

Mohammad Torabi Dashti

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2011

Organizational Patterns for Security and Dependability: From Design to Application.

[BibT_eX]

[DOI]

Int. J. Secur. Softw. Eng., 2011

A Service-oriented Architecture for Emergency Management Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2011, 2011

Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP.

[BibT_eX]

[DOI]

Robert Grabowski

Martin Hofmann

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

2010

Implicit flows in malicious and nonmalicious code.

[BibT_eX]

[DOI]

Alejandro Russo

Andrei Sabelfeld

Proceedings of the Logics and Languages for Reliability and Security, 2010

Towards Security Vulnerability Detection by Source Code Model Checking.

[BibT_eX]

[DOI]

Beatriz Gallego-Nicasio Crespo

Proceedings of the Third International Conference on Software Testing, 2010

Model-Checking Driven Security Testing of Web-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

2009

SERENITY Aware System Development Process.

[BibT_eX]

[DOI]

Daniel Serrano

Antonio Maña

Rafael Llarena

Beatriz Gallego-Nicasio Crespo

Proceedings of the Security and Dependability for Ambient Intelligence, 2009

SERENITY Aware Development of Security and Dependability Solutions.

[BibT_eX]

[DOI]

Daniel Serrano

Antonio Maña

Rafael Llarena

Proceedings of the Security and Dependability for Ambient Intelligence, 2009

2008

Extraction de modèles paramétrés au cours du test de composants logiciels.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2008

S&D Pattern Deployment at Organizational Level: A Prototype for Remote Healthcare System.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Security and Trust Management, 2008

Modular System Verification by Inference, Testing and Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

Achieving Socio-technical Confidentiality Using Security Pattern in Smart Homes.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Future Generation Communication and Networking, 2008

2007

Learning and Integration of Parameterized Components Through Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2007

Learning Parameterized State Machine Model for Integration Testing.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Test Generation from Security Policies Specified in Or-BAC.

[BibT_eX]

[DOI]

Laurent Mounier

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Integration Testing of Components Guided by Incremental State Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Testing: Academia and Industry Conference, 2006

Integration Testing of Distributed Components Based on Learning Parameterized I/O Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.

[BibT_eX]

[DOI]