Johnathan Mercer. “Advancing Test Suite Reduction And Smart Contract Verification: A Comprehensive Analysis Of Techniques, Quality Metrics, And Fuzzing Approaches”. International Journal of Advance Scientific Research, vol. 5, no. 08, Aug. 2025, pp. 27-33, https://sciencebring.com/index.php/ijasr/article/view/1008.