Contract and oracle-driven counterexample discovery with metered search policies, shrinking and reproducible research ledgers.
python cli reproducible-research property-based-testing software-engineering software-testing metamorphic-testing counterexamples structural-probing
-
Updated
Nov 3, 2026 - Python