Aloïs Dreyfus

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Speech Understanding

Reachability Analysis

Finite State Machines

Top Venues

Softw. Test. Verification Reliab.

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko, Catherine Masson
A random testing approach using pushdown automata. Softw. Test. Verification Reliab. 24 (8) (2014)
Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
Enhancing Approximations for Regular Reachability Analysis. CIAA (2013)
Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
Random Grammar-Based Testing for Covering All Non-terminals. ICST Workshops (2013)
Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
Random Grammar-based Testing for Covering All Non-Terminals. CoRR (2013)
Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
Enhancing Approximations for Regular Reachability Analysis. CoRR (2013)