Version 1.3 of HOL-TestGen
Release Notes: This release extends the configuration possibilities of the code generator, and includes an example demonstrating sequence testing.
Other releases
Release Notes: This release fixes a few minor errors in the manual.
Release Notes: This release was ported to Isabelle/HOL 2011-1. New examples were added. The jEdit-based user interface is now used by default.
Release Notes: This release was ported to Isabelle 2011.
Release Notes: This release was ported to Isabelle 2009.
Release Notes: This release uses Isabelle 2008 as the underlying HOL system, provides support for a benchmarking framework, and provides HOL-TestGen/FW. HOL-TestGen/FW is a domain specific test case generator for specification-based firewall conformance testing.
