Publications

Showing 12 items
TitleSourceYeartype
Sort 
 
Sort 
 
Sort 
 
Sort 
 
TitleSourceYeartype
Evaluation of ASLan mutating operators Conference on Tests And Proofs (TAP) June 19, 2013 International conference 
A new dichotomic algorithm for the uniform random generation of words in regular languages International Journal on Theoretical Computer Science (TCS) August 1, 2012 Journal paper 
Semi-Automatic Security Testing of Web Applications from a Secure Model Conference on Software Security and Reliability (SERE) June 22, 2012 International conference 
SPaCiTE — Web Application Testing Engine International Conference on Software Testing, Verification and Validation (ICST) April 21, 2012 International conference 
Coverage-biased random exploration of large models and application to testing International Journal on Software Tools for Technology Transfer (STTT) February 1, 2012 Journal paper 
Security Mutants for Property-Based Testing Conference on Tests And Proofs (TAP) June 30, 2011 International conference 
Uniform Monte-Carlo Model checking Conference on Fundamental Approaches to Software Engineering (FASE) March 30, 2011 International conference 
Approches combinatoires pour le test statistique à grande échelle Thèse de doctorat, LRI, Université Paris-Sud XI November 19, 2010 Thesis 
A new dichotomic algorithm for the uniform random generation of words in regular languages Conference on random and exhaustive generation of combinatorial objects (GASCom) September 2, 2010 International conference 
Exploration aléatoire de modèles Journal européen des systèmes automatisés (JESA) September 1, 2009 Journal paper 
Coverage-biased random exploration of models International workshop on Model Based Testing (MBT) December 1, 2008 International conference 
Uniform random walks in very large models International workshop on Random Testing (RT) November 6, 2007 International conference 
Showing 12 items