Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev. Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. In Lorenzo Cavallaro, Johannes Kinder, Xiaofeng Wang 0001, Jonathan Katz, editors, Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. pages 531-548, ACM, 2019. [doi]
Abstract is missing.