• Back to project

All releases of HOL-TestGen

• 
• 1.7.1

• 
•  19 Nov 2012 23:13
• 

Release Notes: This release fixes a few minor errors in the manual.

• 
• 1.7.0

• 
•  18 Oct 2012 11:38
• 

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.

• 
• 1.6-pre

• 
•  18 Oct 2012 11:38
• 

Release Notes: This release was ported to Isabelle 2011.

• 
• 1.5

• 
•  18 Oct 2012 11:38
• 

Release Notes: This release was ported to Isabelle 2009.

• 
• 1.4.0

• 
•  19 Jun 2008 20:30
• 

• Major feature enhancements

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.

• 
• 1.3

• 
•  09 Feb 2007 10:34
• 

• Minor feature enhancements

Release Notes: This release extends the configuration possibilities of the code generator, and includes an example demonstrating sequence testing.

• 
• 1.2.0

• 
•  04 Oct 2006 06:03
• 

• Minor feature enhancements

Release Notes: This release adds examples showing how HOL-TestGen can be used for sequence generation. This is done using a newly-developed theory for firewalls, and thus also gives some insights about testing firewall configurations.

• 
• 1.1.1

• 
•  12 Dec 2005 15:06
• 

• Documentation

Release Notes: This release fixes some glitches in the documentation. It provides Debian packages.

• 
• 1.1

• 
•  11 Oct 2005 11:18
• 

• Minor feature enhancements

Release Notes: This release mainly adds support for Isabelle 2005.

• 
• 1.0.1

• 
•  19 Apr 2005 14:03
• 

• Documentation

Release Notes: A bug has been fixed that that prevented gen_test_cases for specifications like 'test_spec "(is_sorted2(insertion_sort (l:: 'a list)))"'. The list example has been improved, and a new example added (IMP) demonstrating the use of HOL-TestGen for white box testing.