Hypothesis, Antithesis, synthesis

Hegel

A universal property-based testing protocol and family of libraries, built on Hypothesis

Hypothesis: A new approach to property-based testing

The property-based testing library for Python

Antithesis: autonomous software testing

Try the Antithesis autonomous testing platform and find bugs in your software with perfect reproducibility

A new era for software testing - <antirez>

Property Testing with Agent Swarms

Using agents to build property-testing machinery, then turn the findings into small, reviewable fixes.

Choosing properties for property-based testing

Or, I want to use PBT, but I can never think of any properties to use

Test-Driven Approaches to Software Engineering with Large Language...

Tests increasingly participate in the decisions made by large language models and software engineering agents. They specify intended behavior, guide program construction and repair, select...

Readable Robot Tests: Bridge the Tech Gap

A walkthrough of the Robot Testing pattern in Flutter, an end-to-end technique that keeps tests readable for non-technical stakeholders and reusable as code grows.

Tests Are The New Moat | Daniel Saewitz

As AI becomes better at cloning people's open source work, what ends up becoming most valuable are software contracts, tests, and API surface area. This clashes the incentives of clearly defining your commercialized open source software with protecting it.

Improving Science That Uses Code

Abstract. As code is now an inextricable part of science it should be supported by competent Software Engineering, analogously to statistical claims being

How Antithesis Turned exe into a Sandbox for Agentic Software Tests - exe.dev blog

Carl Sverre spends a lot of time thinking about how to give AI agents the right amount of power. Give them too little, and they can’t do real work. Give them too much, and they might blow up your tech stack. As a software engineer at Antithesis, an autonomous software testing platform, that question is core to how Sverre thinks about designing tools in the era of advanced AI.

No. 022: Palomar proof registry, autonomous protein design, synthetic consensus - The Hallway Track

The Hallway Track No. 022 - How AI is affecting the practice of science

The value of human, exploratory testing

Ann and Michael find things programmers never would have.Since unit testing and test-driven development burst onto the programming scene in the early 2000s, too many programmers have deluded themse…

b.next: rebuilding biology for engineering