Hélène Le Guen

Practical experiences with statistical usage testing

Thomas Thelin, Hélène Le Guen, 2003, Eleventh Annual International Workshop on Software Technology and Engineering Practice.

Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study

Mathieu Acher, Benoit Baudry, Hamza Samih, 2014, 2014 19th International Conference on Engineering of Complex Computer Systems.

Visiting Probabilities in Non-Irreducible Markov Chains with Strongly Connected Components

Raymond A. Marie, Hélène Le Guen, 2002, ESM.

Contracts and Grants with Industry - Probabilistic test generation

Raymond Marie, Hélène Le Guen, 2003 .

Reliability estimation for statistical usage testing using Markov chains

Raymond A. Marie, Thomas Thelin, Hélène Le Guen, 2004, 15th International Symposium on Software Reliability Engineering.

Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs

Paul Pettersson, Raluca Marinescu, Cristina Cerschi Seceleanu, 2015, Adv. Comput..

Generating Transition Probabilities for Automatic Model-Based Test Generation

Abderrahmane Feliachi, Hélène Le Guen, A. Feliachi, 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

An Approach to Derive Usage Models Variants for Model-Based Testing

Mathieu Acher, Benoit Baudry, Hamza Samih, 2014, ICTSS.