HOL-TestGen
From MaRDI portal
Software:29573
No author found.
Related Items (6)
Automation of broad sanity test generation ⋮ On theorem prover-based testing ⋮ Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing ⋮ Fast machine words in Isabelle/HOL ⋮ JMLUnit: The Next Generation ⋮ Monadic Sequence Testing and Explicit Test-Refinements
This page was built for software: HOL-TestGen
