- Inicio
- Linux
- HOL-TestGen
- Baixando ...
HOL-TestGen 1.7.0
HOL-TestGen permite escrever especificações de teste em lógicas de ordem superior (HOL). Ele pode (semi-) particionar automaticamente o espaço de entrada, resultando em casos de teste abstratas e selecionar automaticamente os dados de teste de concreto.A...