Extracting a Micro State Transition Table Using the KLEE Symbolic Execution Engine.
Norihiro YoshidaTakahiro ShimizuRyota YamamotoHiroaki TakadaPublished in: APSEC (2021)
Keyphrases
- state transition
- execution engine
- simplex method
- input output
- state space
- state transitions
- state transition model
- hidden markov models
- black box
- finite state machines
- probability distribution
- linear programming
- markov chain
- database
- search computing
- linear program
- map reduce
- query processing
- convergence rate
- query language
- distributed query processing
- reinforcement learning
- query execution
- cloud computing
- dynamic programming
- search space