GitHub repository: GianfrancoBazzani/awesome-advanced-smart-contracts-testing-and-verification
Description: A curated collection of tools, frameworks, and methodologies for testing and verifying smart contracts.