GraphWalker

GraphWalker je nástroj pro generování offline a online testovacích sekvencí z konečných stavových strojů a rozšířených konečných stavových strojů.

graphwalker