HOL-TestGen

HOL-TestGen 1.7.0

HOL-TestGen позволяет записать характеристики тестов в высших порядков логики (HOL). Это может (полу-) автоматически разделить входное пространство, в результате чего в абстрактных тестов, и автоматически выбрать конкретные данные испытаний.Автоматическая...