Integrating static analysis and testing for firewall policies.
William FormyduvalPublished in: OOPSLA Companion (2009)
Keyphrases
- static analysis
- java card
- symbolic execution
- dynamic analysis
- test generation
- test suite
- source code
- test case generation
- abstract interpretation
- malicious code
- regular expressions
- intrusion detection
- data sets
- intrusion detection system
- optimal policy
- network traffic
- software testing
- case study
- test cases
- building blocks
- object oriented systems
- training data
- data mining
- databases