1 result found Sort:

SoftSec-KAIST
Smartian SoftSec-KAIST
22
145
mit
8
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
fsharp fuzzer fuzzing static-analyzer smart-contract-testing
Created 2021-09-01
10 commits to main branch, last one 6 months ago