We developed an agent that can efficiently identify bugs in large software projects. To do this, our agent infers general properties of code that should be true, and then by applying property-based testing - a technique similar to fuzz testing - we are able to discover bugs in top Python packages like NumPy, SciPy, and Pandas. After extensive manual validation, we are in the process of reporting these bugs to the developers, several of which have already been patched.
https://www.anthropic.com/research/property-based-testing
Статья: https://arxiv.org/abs/2510.09907
Код: https://github.com/mmaaz-git/agentic-pbt
