Vianney Darmaillacq

According to our database, Vianney Darmaillacq authored at least 3 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

Test generation and execution for security rules in temporal logic.

Vianney Darmaillacq, Jean-Luc Richier, Roland Groz

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Security policy testing using vulnerability exploit chaining.

Vianney Darmaillacq

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2006

Test Generation for Network Security Rules.

Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier

Proceedings of the Testing of Communicating Systems, 2006