HOL-TestGen 1.7.0

HOL-TestGen tillader en at skrive testspecifikationer i højere orden logikker (HOL). Det kan (halv-) automatisk opdele input plads, hvilket resulterer i abstrakte testcases og vælge konkrete testdata automatisk.Automatisk generering af test seletøj (i...