10 results for tag "property-based-testing"
A Claude Code plugin marketplace from Trail of Bits providing skills for AI-assisted security analysis, testing, and development workflows.
Generates and runs randomized tests to verify code properties and invariants across diverse input scenarios, uncovering edge cases automatically.
Property-based testing skill from the laurigates Claude Plugins collection, providing patterns for generating test cases from properties and invariants.
Generates comprehensive test cases by defining properties and constraints, automatically exploring edge cases and potential failures in code logic