The property-based testing library for Python
Hegel
A universal property-based testing protocol and family of libraries, built on Hypothesis
Hypothesis, Antithesis, synthesis
Introducing Hegel, our new family of property-based testing libraries.
Choosing properties for property-based testing
Or, I want to use PBT, but I can never think of any properties to use
Antithesis: autonomous software testing
Try the Antithesis autonomous testing platform and find bugs in your software with perfect reproducibility
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.
Structure and Interpretation of Test Cases • Kevlin Henney • GOTO 2022
A universal approach to mocking
Defunctionalise your continuations and your tests can run any computation a step at a time.
Testing functional UIs - Hayleigh Thompson | Lambda Days 2025
Testing can be fun, actually
Writing and maintaining tests is boring. But they're also some of the most valuable code we can write. With this blog post you'll learn a criminally underrated testing technique to add to your testing toolbox that can make tests a whole lot more pleasant.
Pydantic Monty: A Minimal Python Sandbox for AI Agents | Pydantic
Meet Monty — a secure, minimal Python interpreter written in Rust for running AI-generated code. Learn where it sits between tool calling and full computer use, and why CodeMode matters for AI agents.
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively | Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
We present a decision procedure that combines reasoning about datatypes and codatatypes. The dual of the acyclicity rule for datatypes is a uniqueness rule that identifies observationally equal codatatype values, including cyclic values. The procedure ...
trace-tests/src/trace_tests/report.py at 46c9c0e2e9216d66e1ae10b1a78324f7ca08a1ed · agentrust-io/trace-tests
TRACE compliance test suite. Conformance tests for TRACE Certification. - agentrust-io/trace-tests