Coverage-biased Random Exploration of Models. - Marie-Claude Gaudel; Alain Denise; Sandrine-Dominique Gouraud; Richard Lassaigne; Johan Oudinet; Sylvain Peyronnet (MBT@ETAPS, 2008)

Uniform Monte-Carlo Model Checking. - Johan Oudinet; Alain Denise; Marie-Claude Gaudel; Richard Lassaigne; Sylvain Peyronnet (FASE, 2011)

Security Mutants for Property-Based Testing. - Matthias Büchler; Johan Oudinet; Alexander Pretschner (TAP@TOOLS, 2011)

SPaCiTE - Web Application Testing Engine. - Matthias Büchler; Johan Oudinet; Alexander Pretschner (ICST, 2012)

Semi-Automatic Security Testing of Web Applications from a Secure Model. - Matthias Büchler; Johan Oudinet; Alexander Pretschner (SERE, 2012)

Coverage-biased random exploration of large models and application to testing. - Alain Denise; Marie-Claude Gaudel; Sandrine-Dominique Gouraud; Richard Lassaigne; Johan Oudinet; Sylvain Peyronnet (Int. J. Softw. Tools Technol. Transf., 2012)

Evaluation of ASLan Mutation Operators. - Johan Oudinet; Alberto Calvi; Matthias Büchler (TAP@STAF, 2013)

A new dichotomic algorithm for the uniform random generation of words in regular languages. - Johan Oudinet; Alain Denise; Marie-Claude Gaudel (Theor. Comput. Sci., 2013)

On quantitative dynamic data flow tracking. - Enrico Lovat; Johan Oudinet; Alexander Pretschner (CODASPY, 2014)