HOL-TestGen

HOL-TestGen ist ein Test-Daten Generator für den spezifikationsbasierten Unit-Test. HOL-TestGen ist eine Erweiterung des interaktiven Theorembeweisers Isabelle/HOL.

hol-TestGen screenshot

HOL-TestGen erlaubt

HOL-TestGen ist freie Software und kann unter den Bedingungen einer BSD ähnlichen Lizenz weitergegebenwerden und wird von Achim D. Brucker, Lukas Brügger, Matthias Krieger und Burkhart Wolff entwickelt.

Download

Ältere Versionen

Publikationen

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2005

2004