HOL-TestGen 1.7.0
HOL-TestGen gör att man kan skriva testspecifikationer i högre ordningens logik (HOL). Det kan (halv-) automatiskt partitionera ingångsutrymmet, vilket resulterar i abstrakta testfall, och väljer konkreta testdata automatiskt.Automatisk generering av test...