Security Test Generation Using Threat Trees.
Aaron MarbackHyunsook DoKe HeSamuel KondamarriDianxiang XuPublished in: AST (2009)
Keyphrases
- test generation
- test cases
- symbolic execution
- design automation
- test sequences
- information security
- decision trees
- static analysis
- intrusion detection
- security issues
- software testing
- access control
- countermeasures
- quality assurance
- mutation testing
- cyber crime
- privacy issues
- learning algorithm
- security policies
- image quality
- test data generation
- software engineering
- databases
- database