Muhammad Faruq, et al. “The Effectiveness of Echidna in Detecting Reentrancy in Ethereum Smart Contracts Using Bug Injection”. Engineering And Technology Journal, vol. 11, no. 05, May 2026, pp. 10206-1, doi:10.47191/etj/v11i05.60.