Searching for "hol-TestGen." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
HOL-TestGen 1.0.0 user guide
- …ETH Technical Report 482 HOL-TestGen 1.0.0 User Guide http://www.brucker.ch/projects/hol…
- Cited by 3 (3 self) – Add To MetaCart
-
Test-sequence generation with HOL-TestGen – with an application to firewall testing
- …Test-Sequence Generation with HOL-TestGen With an Application to Firewall Testing Achim D. Brucker…
- Cited by 4 (4 self) – Add To MetaCart
-
1 Mission Theorem-prover based Testing with HOL-TestGen (Extended Abstract)
- …1 Mission Theorem-prover based Testing with HOL-TestGen (Extended Abstract) Achim D. Brucker…
- Add To MetaCart
-
B.: Building formal method tools in the Isabelle/Isar framework
- … as Isabelle/Isar “plugins” are the test-case generation system HOL-TestGen [11, 2], the environment for object…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 4.
