HOL-TestGen 1.7.0

HOL-TestGen permite escribir las especificaciones de prueba en las lógicas de orden superior (HOL). Puede (semi) particionar automáticamente el espacio de entrada, lo que resulta en los casos de pruebas abstractas, y se seleccionará automáticamente los...