Johan Oudinet

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Web Applications

Mutation Operator

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Enrico Lovat, Johan Oudinet, Alexander Pretschner
On quantitative dynamic data flow tracking. CODASPY (2014)
Johan Oudinet, Alain Denise, Marie-Claude Gaudel
A new dichotomic algorithm for the uniform random generation of words in regular languages. Theor. Comput. Sci. 502 (2013)
Johan Oudinet, Alberto Calvi, Matthias Büchler
Evaluation of ASLan Mutation Operators. TAP@STAF (2013)
Matthias Büchler, Johan Oudinet, Alexander Pretschner
Semi-Automatic Security Testing of Web Applications from a Secure Model. SERE (2012)
Matthias Büchler, Johan Oudinet, Alexander Pretschner
SPaCiTE - Web Application Testing Engine. ICST (2012)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
Coverage-biased random exploration of large models and application to testing. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Matthias Büchler, Johan Oudinet, Alexander Pretschner
Security Mutants for Property-Based Testing. TAP@TOOLS (2011)
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
Uniform Monte-Carlo Model Checking. FASE (2011)
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
Coverage-biased Random Exploration of Models. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)