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

We have experimental results that show the effectiveness of uniform drawing in relation to (isotropic) random walks.