Learning to Fuzz from Symbolic Execution with Application to Smart Contracts.

Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev

Browse the full CCS paper archive.