net.automatalib.util.automata.random
Classes
RandomAutomata
RandomAutomatonGenerator
RandomDeterministicAutomatonGenerator
RandomICAutomatonGenerator