Randomized Testing
3 projects
Showing 3 of 3 projects
go-fuzzGo
A coverage-guided fuzzing solution for testing Go packages, especially those parsing complex or untrusted inputs.
#randomized-testing#input-parsing#fuzzing
Stars4.9k
Forks275
Last commit1 year ago
QuickChickRocq Prover
A randomized property-based testing plugin for Coq, enabling automated test generation and verification within proof assistants.
#coq#randomized-testing#automated-testing
Stars288
Forks51
Last commit14 days ago
LunatestLua
xUnit-style unit testing framework for Lua with randomized testing support, compatible with C projects using Lua.
#c-integration#property-testing#unit-testing
Stars84
Forks23
Last commit4 years ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.