Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam
On the Use of Uniform Random Generation of Automata for Testing
MBT, 2009.
@article{MBT-2009-DadeauLH,
author = "Frédéric Dadeau and Jocelyn Levrey and Pierre-Cyrille Héam",
doi = "10.1016/j.entcs.2009.09.050",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 2,
pages = "37--51",
title = "{On the Use of Uniform Random Generation of Automata for Testing}",
volume = 253,
year = 2009,
}