Muhammad Faruq, R. Abdillah, N. S. H., and Pizaini, “The Effectiveness of Echidna in Detecting Reentrancy in Ethereum Smart Contracts Using Bug Injection”, etj, vol. 11, no. 05, pp. 10206–10216, May 2026.