Static Analysis of Programs Using Omega Algebra with Tests.
Claude BolducJosée DesharnaisPublished in: RelMiCS (2005)
Keyphrases
- static analysis
- symbolic execution
- test generation
- test suite
- dynamic analysis
- abstract interpretation
- source code
- malicious code
- regular expressions
- java programs
- test cases
- java card
- data model
- relational algebra
- query language
- data sets
- reverse engineering
- control flow
- relational databases
- databases
- test case generation