Nashaib Akbar and Muhammad Saleem Vighio, “A Comparative Evaluating Auditing Tools for Unverified Smart Contracts on Ethereum Blockchain”, IJIST, vol. 7, no. 6, pp. 85–96, May 2025.