“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, doi: 10.37547/.