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:

Welcome to the blog of the Software Assurance & Security Research Team at The University of Sheffield. We blog regularly news, tips & tricks, as well as fun facts about software assurance, reliability, security, testing, verification, hacking, and logic.

You can also follow us on Twitter: @logicalhacking.




academia appsec cordova dast devops devsecops event fixeffort floss hol-ocl hol-testgen iast industry isabelle/hol logic mbst mobile modelling monads ocl opensource owasp research sap sast sdlc secdevops security securityengineering securitytesting staff&positions test&proof testing tips&tricks tools tuos uk verification webinar


blog whole site