Advancing Test Suite Reduction And Smart Contract Verification: A Comprehensive Analysis Of Techniques, Quality Metrics, And Fuzzing Approaches. International Journal of Advance Scientific Research, [S. l.], v. 5, n. 08, p. 27–33, 2025. DOI: 10.37547/. Disponível em: https://sciencebring.com/index.php/ijasr/article/view/1008. Acesso em: 10 dec. 2025.