Supporting micro-services deployment in a safer way: a static analysis and automated rewriting approach.
Benjamin BenniSébastien MosserPhilippe ColletMichel RiveillPublished in: SAC (2018)
Keyphrases
- static analysis
- dynamic analysis
- source code
- malicious code
- service providers
- symbolic execution
- service oriented
- regular expressions
- web services
- test generation
- abstract interpretation
- java card
- conjunctive queries
- service composition
- building blocks
- artificial intelligence
- learning algorithm
- query language
- relational databases
- real world