Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts.
Meng WangWeiliang FeiMiao WangJin CuiPublished in: APSEC (2023)
Keyphrases
- symbolic execution
- reinforcement learning
- test generation
- test data generation
- static analysis
- specification language
- source code
- data flow
- test cases
- state space
- learning algorithm
- machine learning
- multi agent
- distributed systems
- programming language
- simulated annealing algorithm
- generation algorithm
- artificial intelligence