Publications
Title | Source | Year | type |
---|---|---|---|
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