Keyphrases
- static analysis
- dynamic analysis
- malicious code
- source code
- expert systems
- logic programming
- symbolic execution
- prolog programs
- java card
- abstract machine
- knowledge representation
- regular expressions
- abstract interpretation
- knowledge base
- learning algorithm
- logic programs
- software engineering
- test generation
- case study
- artificial intelligence
- real world