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...