All Git Users → TorXakis

1 open source projects by TorXakis

[ Open user page on Github ]

A tool for Model Based Testing

✭ 40

haskell TeX java Yacc Logos shell test model test-suite formal-methods testing-framework test-case-generation testing-tool composable-models executable-specification

1-1 of 1 user projects