Learning to Fuzz from Symbolic Execution with Application to Smart Contracts[C] PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19) 2019 He, Jingxuan Balunovic, Mislay Ambroladze, Nodar Tsankov, Petar Vechev, Martin
