Driessen, Stefan

1. Automated Test-Case Generation for Solidity Smart Contracts: the AGSolT Approach and its Evaluation
   2021/02/17 by Stefan Driessen, Dario Di Nucci, Driessen, Stefan +7 · 1 citation
   Computer Science · #Software Testing and Debugging Techniques #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning