Temporal Logic Based Static Analysis for Non-uniform Behaviours.
Matthias ColinXavier ThiriouxMarc PantelPublished in: FMOODS (2003)
Keyphrases
- static analysis
- dynamic analysis
- source code
- malicious code
- symbolic execution
- java card
- spatial and temporal
- spatio temporal
- temporal constraints
- test generation
- temporal information
- regular expressions
- temporal data
- open source
- temporal reasoning
- knowledge representation
- temporal patterns
- test suite
- relational data
- software engineering
- abstract interpretation