Static Analysis of Complex Event Processing Programs.
Adrián García-LópezLoli BurgueñoAntonio VallecilloPublished in: MoDELS (Workshops) (2018)
Keyphrases
- static analysis
- complex event processing
- symbolic execution
- abstract interpretation
- dynamic analysis
- event streams
- source code
- stream processing
- temporal reasoning
- event processing
- supply chain management
- test suite
- real time
- regular expressions
- semantic technologies
- relational databases
- case study
- artificial intelligence
- data sets