Software Verification in the Age of Coding Agents

As coding agents generate more unreviewed code, exhaustive deterministic simulation testing becomes a necessary complement to traditional unit/integration testing.

• Deterministic simulation testing (DST): Antithesis runs customer software deterministically on a controlled 'EC2-like' platform, then branches timelines at any point to breadth-first search the state space for bugs.
• SQLite WAL bug found in 15 minutes: A 10-year-old concurrency bug (previously surfaced only by Tailscale) was rediscovered by Antithesis using a generic workload exercising all SQLite operations.

Themes, sentiment and reasons are AI-written paraphrases, checked so they never quote an episode. They may contain errors. Not investment advice. Episodes remain the property of their creators.