Follow
Johan Oudinet
Johan Oudinet
Postdoc in Computer Science, Technische Universität München (TUM)
Verified email at cs.tum.edu
Title
Cited by
Cited by
Year
Semi-automatic security testing of web applications from a secure model
M Büchler, J Oudinet, A Pretschner
Software Security and Reliability (SERE), 2012 IEEE Sixth International …, 2012
702012
Coverage-biased random exploration of large models and application to testing
A Denise, MC Gaudel, SD Gouraud, R Lassaigne, J Oudinet, S Peyronnet
International Journal on Software Tools for Technology Transfer 14 (1), 73-93, 2012
422012
Security mutants for property-based testing
M Büchler, J Oudinet, A Pretschner
Tests and Proofs, 69-77, 2011
362011
Uniform Monte-Carlo model checking
J Oudinet, A Denise, MC Gaudel, R Lassaigne, S Peyronnet
Fundamental Approaches to Software Engineering, 127-140, 2011
322011
SPaCiTE-Web Application Testing Engine
M Büchler, J Oudinet, A Pretschner
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
272012
Coverage-biased random exploration of models
MC Gaudel, A Denise, SD Gouraud, R Lassaigne, J Oudinet, S Peyronnet
Electronic Notes in Theoretical Computer Science 220 (1), 3-14, 2008
202008
Coverage-biased random exploration of models
MC Gaudel, A Denise, SD Gouraud, R Lassaigne, J Oudinet, S Peyronnet
Electronic Notes in Theoretical Computer Science 220 (1), 3-14, 2008
202008
A new dichotomic algorithm for the uniform random generation of words in regular languages
J Oudinet, A Denise, MC Gaudel
Theoretical Computer Science 502, 165-176, 2013
192013
A new dichotomic algorithm for the uniform random generation of words in regular languages (journal version)
J Oudinet, A Denise, MC Gaudel
Theoretical Computer Science, 2012
19*2012
Uniform random walks in very large models
J Oudinet
Proceedings of the 2nd international workshop on Random testing: co-located …, 2007
112007
On quantitative dynamic data flow tracking
E Lovat, J Oudinet, A Pretschner
Proceedings of the 4th ACM conference on Data and application security and …, 2014
102014
Approches combinatoires pour le test statistique à grande échelle
J Oudinet
Université Paris-Sud XI, Ph. D. thesis, 2010
9*2010
Random exploration of models
J Oudinet
Technical Report 1534, LRI, Université Paris-Sud XI. 15 pages, submitted to …, 2010
22010
Evaluation of ASLan Mutation Operators
J Oudinet, A Calvi, M Büchler
Tests and Proofs, 178-196, 2013
12013
Exploration aléatoire de modèles
J Oudinet
Journal européen des systèmes automatisés 43 (7-9), 905-919, 2009
12009
Search Engine Ranking
J Oudinet
12006
Welcome from the AMOST 2012 Chairs
J Oudinet, S Eldh
A-MOST, 2012
2012
Tirages aleatoires uniformes dans des systemes concurrents
J Oudinet
Université Paris-Sud XI, Master thesis, 2007
2007
The system can't perform the operation now. Try again later.
Articles 1–18