Advancing Test Suite Reduction And Smart Contract Verification: A Comprehensive Analysis Of Techniques, Quality Metrics, And Fuzzing Approaches. ijasr. 2025;5(08):27-33. doi:10.37547/