Programas por tcgtool.sf.net

O TCGTool é uma ferramenta para a geração de casos de teste de máquinas estatais finitas. A ferramenta permite ao utilizador especificar uma Máquina Mealy e, em seguida, gera os casos de teste utilizando um método escolhido p