I'm working on a NFA to DFA conversion tool that is different from the Subset Construction and I need to test this tool.In order to be sure that the immplementation has no bug I'd like to generate a random NFA with these properties:The NFA should be connectedThe NFA should have one initial state and one or more final statesThe NFA should have -movesIs there a known algorithm or a paper that explains how to generate this NFA automaton as random as possible? 
NFA random generator
finite automata;pseudo random generators;randomness