Keyphrases
- static analysis
- java card
- dynamic analysis
- source code
- malicious code
- symbolic execution
- regular expressions
- information security
- test generation
- security issues
- access control
- security policies
- intrusion detection
- open source
- feature space
- security requirements
- abstract interpretation
- security model
- database
- api calls
- test suite
- reverse engineering
- model checking
- training data
- case study