HOL-TestGen 1.9 Released
We are proud to announce the release of HOL-TestGen 1.9. 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 Isabelle 2016.
Supplementary Material
- HOL-TestGen Website: https://www.brucker.ch/projects/hol-testgen/