Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
翻译 - 假设是功能强大，灵活且易于使用的库，用于基于属性的测试。
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Supercharge your API testing, catch bugs, and ensure compliance
Functional programming in Java
Property-based testing, JUnit-style
Data generation and property-based testing for Elixir. 🔮
A unit test-like interface for fuzzing and symbolic execution
翻译 - 类似单元测试的接口，用于模糊测试和符号执行
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Release with confidence, state-of-the-art property testing for Haskell.
Rapid is a modern Go property-based testing library
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Property based testing for Java 8
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
QuickCheck inspired property-based testing for OCaml.