SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses
- Jaeseung Choi
- , Doyeon Kim
- , Soomin Kim
- , Gustavo Grieco
- , Alex Groce
- , Sang Kil Cha
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
206
Link opens in a new tab
Scopus
citations