Cited in
(14)- On theorem prover-based testing
- JMLUnit: the next generation
- Monadic Sequence Testing and Explicit Test-Refinements
- Fast machine words in Isabelle/HOL
- IMP++
- UniTESK
- CP-miner
- Handel-C
- Symbolic automata
- ZRC
- JCSP
- Geno
- Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
- Automation of broad sanity test generation
This page was built for software: HOL-TestGen
