Johan Oudinet

According to our database, Johan Oudinet authored at least 9 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

On quantitative dynamic data flow tracking.

Enrico Lovat, Johan Oudinet, Alexander Pretschner

Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014

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

Evaluation of ASLan Mutation Operators.

Johan Oudinet, Alberto Calvi, Matthias Büchler

Proceedings of the Tests and Proofs - 7th International Conference, 2013

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

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

Matthias Büchler, Johan Oudinet, Alexander Pretschner

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

SPaCiTE - Web Application Testing Engine.

Matthias Büchler, Johan Oudinet, Alexander Pretschner

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Security Mutants for Property-Based Testing.

Matthias Büchler, Johan Oudinet, Alexander Pretschner

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Uniform Monte-Carlo Model Checking.

Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2008

Coverage-biased Random Exploration of Models.

Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet

Proceedings of the Fourth Workshop on Model Based Testing, 2008