Johnathan Mercer, “Advancing Test Suite Reduction And Smart Contract Verification: A Comprehensive Analysis Of Techniques, Quality Metrics, And Fuzzing Approaches”, ijasr, vol. 5, no. 08, pp. 27–33, Aug. 2025, Accessed: Apr. 15, 2026. [Online]. Available: https://sciencebring.com/index.php/ijasr/article/view/1008