Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts.

Meng Wang, Weiliang Fei, Miao Wang, Jin Cui

Browse the full APSEC paper archive.