Test Generation for Network Security Rules. - Vianney Darmaillacq; Jean-Claude Fernandez; Roland Groz; Laurent Mounier; Jean-Luc Richier (TestCom, 2006)

Security policy testing using vulnerability exploit chaining. - Vianney Darmaillacq (ICST Workshops, 2008)

Test generation and execution for security rules in temporal logic. - Vianney Darmaillacq; Jean-Luc Richier; Roland Groz (ICST Workshops, 2008)