On the Use of Uniform Random Generation of Automata for Testing. - Frédéric Dadeau; Jocelyn Levrey; Pierre-Cyrille Héam (MBT@ETAPS, 2009)