Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

HOL-TestGen 1.8 Released

We are proud to announce the release of HOL-TestGen 1.8. HOL-TestGen is a formal specification-based test environment HOL-TestGen that allows to have a seamless transition from verification to test case generation using symbolic computation in Isabelle/HOL.

On the one hand, this release is a maintenance release based on Isabelle 2013-2. On the other hand, it marks an important milestone on our way to support a more recent version of Isabelle, i.e., Isabelle 2016. Thus, the next release will be based on Isabelle 2016 (or later).

Supplementary Material: