Antithesis teaches agents mutation testing to break distributed safety properties
moarbugs · x · 2026-09-25
Testing infrastructure company Antithesis released a new agent skill that brings mutation testing to distributed systems: it injects artificial bugs, then validates or refines the test harness until safety properties are actually falsifiable — i.e., the test should fail when a property-violating bug exists. This addresses the classic test oracle problem: how do you know your tests are robust enough?
The team demos the skills on rqlite, an open-source fault-tolerant database built on SQLite with Raft consensus. An agent infers high-level invariants from the codebase, constructs an Antithesis harness that checks them under fault injection, and mutation testing then verifies the tests themselves can catch subtle bugs. The post includes an interactive diagram of the inferred invariants and mutation results.
More from coding & agent
- Cognition AI says it has surpassed $1 billion in annualized revenue run rate — Polymarket · 2026-09-25
- AI coding agents keep sneaking in explicit Unit return types — a telltale bug signal — QuixiAI · 2026-09-25
- Mk1.5 explained: factor world knowledge into tool calls, parallel research via sub-agents — AkshatS07 · 2026-09-25
- Dev open-sources Goated Prompter, a local browser prompt generator recreating a gatekept ComfyUI node — Jolanoff · 2026-09-25
- Solo Dev Automating SMB Workflows for 3 Years: From $1.1K–3.8K/Month to One Contract Matching a Month's Income — Kakachia777 · 2026-09-25
- Solidity Auditor v4 open-sourced with 85% recall on High findings, ported to Vyper — banteg · 2026-09-25