| 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 | 71 | 2012 |
| 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 | 44 | 2012 |
| Security mutants for property-based testing M Büchler, J Oudinet, A Pretschner Tests and Proofs, 69-77, 2011 | 36 | 2011 |
| Uniform Monte-Carlo model checking J Oudinet, A Denise, MC Gaudel, R Lassaigne, S Peyronnet Fundamental Approaches to Software Engineering, 127-140, 2011 | 36 | 2011 |
| SPaCiTE-Web Application Testing Engine M Büchler, J Oudinet, A Pretschner 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 27 | 2012 |
| 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 | 20 | 2008 |
| 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 | 20 | 2008 |
| 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 | 19 | 2013 |
| 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 |
| Approches combinatoires pour le test statistique à grande échelle J Oudinet Université Paris-Sud XI, Ph. D. thesis, 2010 | 11* | 2010 |
| Uniform random walks in very large models J Oudinet Proceedings of the 2nd international workshop on Random testing: co-located …, 2007 | 11 | 2007 |
| 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 | 10 | 2014 |
| Random exploration of models J Oudinet Technical Report 1534, LRI, Université Paris-Sud XI. 15 pages, submitted to …, 2010 | 2 | 2010 |
| Evaluation of ASLan Mutation Operators J Oudinet, A Calvi, M Büchler Tests and Proofs, 178-196, 2013 | 1 | 2013 |
| Exploration aléatoire de modèles J Oudinet Journal européen des systèmes automatisés 43 (7-9), 905-919, 2009 | 1 | 2009 |
| Search Engine Ranking J Oudinet | 1 | 2006 |
| 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 |
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
