HOL-TestGen

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.

Our Reader Score
[Total: 0 Average: 0]

You must be logged in to vote.