Johnathan Mercer. Advancing Test Suite Reduction And Smart Contract Verification: A Comprehensive Analysis Of Techniques, Quality Metrics, And Fuzzing Approaches. ijasr. 2025;5(08):27-33. Accessed February 13, 2026. https://sciencebring.com/index.php/ijasr/article/view/1008