Rukia is a C++ library to explore models, which have a graphical representation, by drawing uniformly at random paths in automata.

More information on Rukia website.