search

adrilpz / vyv

Repositorio para la práctica de validación y verificación
0 stars 0 forks source link

Creacion de tests basados en modelos #18

Open adrilpz opened 7 years ago

adrilpz commented 7 years ago

No se han podido realizar este tipo de test con la herramienta GraphWalker.