HOL-TestGen

swMATH17720MaRDI QIDQ29573FDOQ29573

Author name not available (Why is that?)

Cited In (6)

• Automation of broad sanity test generation
• JMLUnit: The Next Generation
• Fast machine words in Isabelle/HOL
• Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
• On theorem prover-based testing
• Monadic Sequence Testing and Explicit Test-Refinements

This page was built for software: HOL-TestGen