Chaliasos, Stefanos;
Charalambous, Marcos Antonios;
Zhou, Liyi;
Galanopoulou, Rafaila;
Gervais, Arthur;
Mitropoulos, Dimitris;
Livshits, Benjamin;
(2024)
Smart Contract and DeFi Security Tools:
Do They Meet the Needs of Practitioners?
In:
Proceedings of the 46th International Conference on Software Engineering (ICSE 2024).
(pp. art no-60).
Association for Computing Machinery (ACM): Lisbon, Portugal.