Programas por tcgtool.sf.net

TCGTool es una herramienta para la generación de casos de prueba a partir de máquinas de estado finito. La herramienta permite al usuario especificar una máquina Mealy y, a continuación, genera los casos de prueba mediante un