Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.
Markus SchordanAdrian PrantlPublished in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
- static analysis
- state transition
- finite state machines
- state transitions
- eca rules
- database systems
- open source
- source code
- database
- building blocks
- active database systems
- dynamic analysis
- test suite
- black box
- distributed databases
- markov chain
- data management
- distributed systems
- hidden markov models
- knowledge base
- artificial intelligence