HOL-TestGen 1.9.1 Released
We are proud to announce the release of HOL-TestGen 1.9.1 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.
This release is a maintenance release based on the most recent version of Isabelle/HOL, i.e., Isabelle 2016-1.
Supplementary Material
- HOL-TestGen Website: https://www.brucker.ch/projects/hol-testgen/