property-testing
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Automated chaos testing for Python — fault injection, property assertions, and stateful exploration.
Runtime fuzzing and invariant-testing harness for MCP servers.
A Python library for Boolean function analysis and spectral methods