Muhammad Faruq (2026) “The Effectiveness of Echidna in Detecting Reentrancy in Ethereum Smart Contracts Using Bug Injection”, Engineering And Technology Journal, 11(05), pp. 10206–10216. doi: 10.47191/etj/v11i05.60.