The following pages link to HOL-TestGen (Q29573):
Displayed 6 items.
- On theorem prover-based testing (Q470025) (← links)
- Automation of broad sanity test generation (Q840076) (← links)
- Fast machine words in Isabelle/HOL (Q1791180) (← links)
- Monadic Sequence Testing and Explicit Test-Refinements (Q2827440) (← links)
- JMLUnit: The Next Generation (Q3067548) (← links)
- Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing (Q5423867) (← links)