Johnathan M. Reynolds. Directed Fuzzing AND Model-Based Testing FOR Enhanced Security AND Reliability IN Blockchain Smart Contracts. ijasr 2025, 5 (09), 84-91.