HOL-TestGen 1.7.0
HOL-TestGen gjør det mulig å skrive testspesifikasjoner i høyere-ordens logikk (HOL). Det kan (semi-) automatisk partisjonere inngangs plass, noe som resulterer i abstrakte testtilfeller, og velg konkrete testdata automatisk.Automatisk generering av test...