HOL-TestGen
From MaRDI portal
swMATH17720MaRDI QIDQ29573FDOQ29573
Author name not available (Why is that?)
Official website: https://www.brucker.ch/projects/hol-testgen/
Cited In (14)
- Automation of broad sanity test generation
- Fast machine words in Isabelle/HOL
- IMP++
- UniTESK
- Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
- On theorem prover-based testing
- CP-miner
- Handel-C
- Symbolic automata
- ZRC
- JCSP
- Monadic Sequence Testing and Explicit Test-Refinements
- Geno
- JMLUnit: the next generation
This page was built for software: HOL-TestGen
