Static Analysis for Logic-based Dynamic Programs.
Thomas SchwentickNils VortmeierThomas ZeumePublished in: CSL (2015)
Keyphrases
- static analysis
- dynamic analysis
- symbolic execution
- abstract interpretation
- source code
- dynamic environments
- test generation
- malicious code
- reverse engineering
- integrity constraints
- java card
- regular expressions
- artificial intelligence
- database
- model checking
- software development
- software engineering
- knowledge representation
- relational databases