Johan Oudinet

Semi-Automatic Security Testing of Web Applications from a Secure Model

Matthias Büchler, Johan Oudinet, Alexander Pretschner · 2012 · 46 citations · Full text

Computing, Computer Science, Cybersecurity +17

Coverage-biased random exploration of large models and application to testing

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud et al. · International Journal on Software Tools for Technology Transfer · 2011 · 21 citations

Natural Sciences, Data Science, Stochastic Modeling +11

SPaCiTE -- Web Application Testing Engine

Matthias Büchler, Johan Oudinet, Alexander Pretschner · 2012 · 13 citations

Computing, Computer Science, Cybersecurity +16

A new dichotomic algorithm for the uniform random generation of words in regular languages

Johan Oudinet, Alain Denise, Marie-Claude Gaudel · Theoretical Computer Science · 2012 · 12 citations · Full text

Computing, Computer Science, Algorithms +8

Coverage-biased Random Exploration of Models

Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud et al. · Electronic Notes in Theoretical Computer Science · 2008 · 11 citations · Full text

Computing, Computer Science, Algorithms +12