HOL-TestGen 1.7.0

HOL-TestGen maakt het mogelijk om testspecificaties in hogere-orde logica schrijven (HOL). Het kan (semi-) automatisch te partitioneren de input ruimte, wat resulteert in abstracte testcases, en beton testgegevens selecteert automatisch.Automatisch...