Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. - Jingxuan He; Mislav Balunovic; Nodar Ambroladze; Petar Tsankov; Martin T. Vechev (CCS, 2019)