HOL-TestGen 1.7.0
HOL-TestGen permette di scrivere le specifiche di test a logiche di ordine superiore (HOL). Può (semi-) partizionare automaticamente lo spazio di ingresso, con conseguente casi di test astratte, e selezionare automaticamente i dati di prova...