Keyphrases
- static analysis
- symbolic execution
- dynamic analysis
- test generation
- test suite
- source code
- test case generation
- test cases
- malicious code
- abstract interpretation
- test data generation
- java card
- regular expressions
- software testing
- open source
- specification language
- reverse engineering
- query language
- high level
- data sets