Merkliste 
 1 Ergebnisse 
 
1

Harvey: a greybox fuzzer for smart contracts:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Wüstholz, Valentin ; Christakis, Maria - p. 1398-1409 , 2020