ReferenceResearch tree
Era 3 · Series AFormal verification
Proofs and property-based tests catch the bugs tests miss: bad deploys −50%, but every Feature costs 15% more Dev Hours.
Prerequisites#
Research these first: Automated tests.
Proofs and property-based tests catch the bugs tests miss: bad deploys −50%, but every Feature costs 15% more Dev Hours.
Research these first: Automated tests.