Nodar Ambroladze

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Symbolic Execution

Pattern Matching

Search Algorithm

Top Venues

Publications

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