nw-property-based-testing

What problem does it solve?

Property-based testing and mutation testing provide a systematic approach to validating software behavior across large input spaces and injected faults, reducing reliance on hand-written example tests and surfacing edge cases early.

Core Features & Use Cases

• Invariants: ensure conditions hold for all inputs (e.g., a sorted list remains ordered)
• Roundtrip: verify encode/decode or serialize/deserialize consistency
• Metamorphic: verify that related operations yield consistent results under transformations
• Mutation testing: assess test suite robustness by introducing mutants and measuring their detection

Quick Start

Define invariants, roundtrip properties, and metamorphic tests, then run mutation testing to validate test quality.