Johnathan Mercer (2025) “Advancing Test Suite Reduction And Smart Contract Verification: A Comprehensive Analysis Of Techniques, Quality Metrics, And Fuzzing Approaches”, International Journal of Advance Scientific Research, 5(08), pp. 27–33. Available at: https://sciencebring.com/index.php/ijasr/article/view/1008 (Accessed: 13 February 2026).