Trendora

Property-based testing

Hold

Techniques

Testing approach that checks software against generated properties and invariants across many cases.

Why it's here

Placed in Hold: 2 article(s) of evidence from 2 source(s), led by research-stage coverage, with 0 in the last 30 days. Confidence 42%.

Evidence (2)

  • 5Hacker News·9/8/2026research
    Study compares testing techniques for coding agents

    This Hacker News post describes an evaluation of how coding agents perform when explicitly instructed to use different testing and verification techniques while implementing Zstd in Rust. It compares 26 prompting conditions, including TDD, property-based testing, fuzzing, formal methods, and several Rust testing tools, plus a few skill-based variants. The author also reports additional smaller evaluations, such as one based on the IMAP RFC.

  • 5Martin Fowler·7/13/2026research
    Fowler on AI Harnesses and Self-Hosted Models

    Martin Fowler reports that teams are focusing more on AI harness engineering, especially context management and stronger validation techniques such as property-based testing and formal methods. He also notes growing interest in self-hosted open-weight models, driven by cost, data security, model sovereignty, and the possibility of fine-tuning domain-specific models to reduce token usage.