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
- HOL-TestGen Website: https://www.brucker.ch/projects/hol-testgen/
- HOL-TestGen 1.8 User Guide