Publications récentes :
Vérification :
Dreyfus, Aloïs, Pierre-Cyrille Héam, and Olga Kouchnarenko. "Enhancing approximations for regular reachability analysis." Implementation and Application of Automata. Springer Berlin Heidelberg, 2013. 331-339.
Génération de tests :
Dreyfus, Aloïs, Pierre-Cyrille Héam, and Olga Kouchnarenko. "Random Grammar-based Testing for Covering All Non-Terminals." Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on. IEEE, 2013.
Publications répertoriées :
http://lifc.univ-fcomte.fr/~publis/papers/Author/DREYFUS-A.html
http://www.dblp.org/db/indices/a-tree/d/Dreyfus:Alo=iuml=s.html