Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths.
Shunfan ZhouZhemin YangDan QiaoPeng LiuMin YangZhe WangChenggang WuPublished in: USENIX Security Symposium (2022)
Keyphrases
- state dependent
- symbolic execution
- static analysis
- optimal policy
- steady state
- test generation
- test data generation
- arrival rate
- specification language
- markov chain
- stationary distribution
- source code
- data flow
- queueing networks
- dynamic programming
- queue length
- reinforcement learning
- open source
- state space
- computational complexity
- single server
- test cases