Property-based testing
HoldTechniques
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/2026researchStudy 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/2026researchFowler 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.