Formal firewall conformance testing: an application of test and proof techniques.
Achim D. BruckerLukas BrüggerBurkhart WolffPublished in: Softw. Test. Verification Reliab. (2015)
Keyphrases
- test cases
- test data
- software testing
- test generation
- testing process
- test sequences
- test suite
- integration testing
- usability testing
- test data generation
- statistical tests
- theorem prover
- regression testing
- statistical significance
- test case generation
- data sets
- formal specification
- theorem proving
- formal model
- case study
- search engine
- artificial intelligence