Advancing Test Suite Reduction And Smart Contract Verification: A Comprehensive Analysis Of Techniques, Quality Metrics, And Fuzzing Approaches. ijasr [Internet]. 2025 Aug. 31 [cited 2025 Dec. 10];5(08):27-33. Available from: https://sciencebring.com/index.php/ijasr/article/view/1008