HOL-TestGen 1.7.0
HOL-TestGen erlaubt es, Testspezifikationen in höherer Ordnung Logik schreiben (HOL). Es kann (halb-) automatisch den Eingangsraum zu unterteilen, was zu abstrakten Testfälle und konkrete Testdaten automatisch zu wählen.Automatische Generierung von...
