Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing (Q5423867)
From MaRDI portal
scientific article; zbMATH DE number 5207437
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing |
scientific article; zbMATH DE number 5207437 |
Statements
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing (English)
0 references
31 October 2007
0 references
symbolic test case generations
0 references
test sequence generation
0 references
black box testing
0 references
theorem proving
0 references
Isabelle/\textsc{hol}
0 references
computer security
0 references
