HOL-TestGen 1.7.0
HOL-TestGen pozwala pisać specyfikacji testów w logiki wyższego rzędu (HOL). To może (pół) automatycznie podzielić przestrzeń wejściową, w wyniku abstrakcyjnych przypadków testowych, i automatycznie wybrać dane z badań konkretnych.Automatyczna generacja...