Visiting Probabilities in Non-Irreducible Markov Chains with Strongly Connected Components. - Hélène Le Guen; Raymond A. Marie (ESM, 2002)

Practical Experiences with Statistical Usage Testing. - Hélène Le Guen; Thomas Thelin (STEP, 2003)

Reliability Estimation for Statistical Usage Testing using Markov Chains. - Hélène Le Guen; Raymond A. Marie; Thomas Thelin (ISSRE, 2004)

Generating Transition Probabilities for Automatic Model-Based Test Generation. - Abderrahmane Feliachi; Hélène Le Guen (ICST, 2010)

Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study. - Hamza Samih; Hélène Le Guen; Ralf Bogusch; Mathieu Acher; Benoit Baudry (ICECCS, 2014)

An Approach to Derive Usage Models Variants for Model-Based Testing. - Hamza Samih; Hélène Le Guen; Ralf Bogusch; Mathieu Acher; Benoit Baudry (ICTSS, 2014)

Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. - Raluca Marinescu; Cristina Seceleanu; Hélène Le Guen; Paul Pettersson (Adv. Comput., 2015)