HOL-TestGen 1.7.0
HOL-TestGen umožňuje psát zkušební specifikace ve vyšších řádů logik (HOL). Je možné (polo) automaticky rozdělit vstupní prostor, což má za následek abstraktních testovacích případů, a automaticky vybrat konkrétní údaje ze zkoušek.Automatické generování...