Keyphrases
- static analysis
- dynamic analysis
- source code
- symbolic execution
- logic programming
- java card
- regular expressions
- malicious code
- prolog programs
- test generation
- programming language
- expert systems
- test suite
- knowledge representation
- abstract machine
- databases
- pattern matching
- training data
- test case generation
- knowledge base
- abstract interpretation
- error rate
- logic programs
- data sources
- decision trees
- artificial intelligence
- real world