Merkliste 
 1 Ergebnisse 
 
1

SMARTIAN : enhancing smart contract fuzzing with static ..:

, In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering,
Choi, Jaeseung ; Kim, Doyeon ; Kim, Soomin... - p. 227-239 , 2021