Anthony Faucogney

Model‐Based Testing Automatic Generation of Test Cases Using the Markov Chain Model

Héléne Le Guen, Frédérique Vallée, Anthony Faucogney, 2013 .

Formal Safety and Security Assessment of an Avionic Architecture with Alloy

Stéphane Paul, Frédérique Vallée, Anthony Faucogney, 2014, ESSS.