Soomin Kim

SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses

Alex Groce, Gustavo Grieco, Sang Kil Cha, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).