Random Grammar-Based Testing for Covering All Non-terminals. - Aloïs Dreyfus; Pierre-Cyrille Héam; Olga Kouchnarenko (ICST Workshops, 2013)

Enhancing Approximations for Regular Reachability Analysis. - Aloïs Dreyfus; Pierre-Cyrille Héam; Olga Kouchnarenko (CIAA, 2013)

A random testing approach using pushdown automata. - Aloïs Dreyfus; Pierre-Cyrille Héam; Olga Kouchnarenko; Catherine Masson (Softw. Test. Verification Reliab., 2014)

Contributions à la vérification et à la validation efficaces fondées sur des modèles. (Contribution to the efficient model-based verification andtesting). - Aloïs Dreyfus (2014)