HOL-TestGen

HOL-TestGen is a is a test case generator for specification based unit testing. HOL-TestGen is built on top of the specfication and theorem proving environment Isabelle/HOL.

hol-TestGen screenshot

HOL-TestGen allows one to

HOL-TestGen is free software; you can redistribute it and/or modify it under the terms of a BSD-style licence. HOL-TestGen 1.5 has been deposited in the Agency for the protection of programs (APP) IDDN.FR.001.220032.000.S.A.2011.000.10000 (Signed Paris, 3.6. 2011). It is developed by Achim D. Brucker, Lukas Brügger, Matthias Krieger, and Burkhart Wolff.

Download

Older Releases

Related Publications

2014

2013

2012

2011

2010

2009

2008

2007

2005

2004