Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.
Achim D. BruckerBurkhart WolffPublished in: TAP (2007)
Keyphrases
- test cases
- software testing
- test generation
- test suite
- regression testing
- test data
- statistical tests
- test sequences
- theorem prover
- test case generation
- intrusion detection
- set of test cases
- usability testing
- test data generation
- testing process
- item response theory
- code coverage
- number of test cases
- generation process
- generation method
- case study
- formal methods
- statistical significance
- network traffic
- expert systems