Software Testing Tools Guide
Description
HOL-TestGen is a is a test case generator for specification based unit testing. HOL-TestGen is built on top of the specfication and theorem proving environment Isabelle/HOL.
Details
- Listing categories Test design / Unit test
- Licence Open Source
- Status Inactive
- User Interface GUI
Post New Review
You must be logged in to post a comment.