Travelled to:1 × Canada
1 × Germany
1 × Hungary
1 × Switzerland
Collaborated with:M.Büchler A.Pretschner A.Denise M.Gaudel R.Lassaigne S.Peyronnet A.Calvi S.Gouraud
Talks about:model (2) test (2) properti (1) uniform (1) coverag (1) spacit (1) random (1) mutant (1) explor (1) applic (1)
Person: Johan Oudinet
DBLP: Oudinet:Johan
Contributed to:
2013
2012
20112011
2008Wrote 5 papers:
- TAP-2013-OudinetCB #evaluation
- Evaluation of ASLan Mutation Operators (JO, AC, MB), pp. 178–196.
- ICST-2012-BuchlerOP #named #testing #web
- SPaCiTE — Web Application Testing Engine (MB, JO, AP), pp. 858–859.
- FASE-2011-OudinetDGLP #model checking #monte carlo
- Uniform Monte-Carlo Model Checking (JO, AD, MCG, RL, SP), pp. 127–140.
- TAP-2011-BuchlerOP #security #testing
- Security Mutants for Property-Based Testing (MB, JO, AP), pp. 69–77.
- MBT-2008-GaudelDGLOP #modelling #random
- Coverage-biased Random Exploration of Models (MCG, AD, SDG, RL, JO, SP), pp. 3–14.