The MEB and CEB Static Analysis for CSP Specifications.
Michael LeuschelMarisa LlorensJavier OliverJosep SilvaSalvador TamaritPublished in: LOPSTR (2008)
Keyphrases
- static analysis
- constraint satisfaction problems
- dynamic analysis
- source code
- symbolic execution
- constraint satisfaction
- arc consistency
- decomposition methods
- malicious code
- regular expressions
- java card
- constraint programming
- abstract interpretation
- constraint propagation
- np hard
- high level
- test generation
- constraint networks
- batch mode
- database systems
- databases