Nodar Ambroladze

Fast and scalable analysis of smart contracts

Nodar Ambroladze, 2018 .

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts

Mislav Balunovic, Petar Tsankov, Martin T. Vechev, 2019, CCS.