Towards Static Analysis of Policy-Based Self-adaptive Computing Systems.
Andrea MargheriHanne Riis NielsonFlemming NielsonRosario PugliesePublished in: ISoLA (1) (2016)
Keyphrases
- computing systems
- static analysis
- dynamic analysis
- source code
- computer systems
- computing technologies
- symbolic execution
- autonomic computing systems
- computing platform
- test suite
- ubiquitous computing environments
- autonomic computing
- java card
- databases
- high end
- regular expressions
- abstract interpretation
- database
- reverse engineering
- heterogeneous systems
- user interface