HOL-TestGen 1.7.0
HOL-TestGen permet d'écrire les spécifications de test dans des logiques d'ordre supérieur (HOL). Il peut (semi-) partitionner automatiquement l'espace d'entrée, résultant dans les cas de tests abstraits, et sélectionnez automatiquement...