A Comprehensive Survey of Smart Contracts Vulnerability Detection Tools: Techniques and Methodologies. - Niosha Hejazi; Arash Habibi Lashkari (J. Netw. Comput. Appl., 2025)