works on
convex optimization 1distribution estimation 1failure rate constraints 1noisy quantile data 1reliability 1

From the 1 of 5 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2025

Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem

Muhammad Maaz, Liam DeVoe, Zac Hatfield-Dodds +1

Property-based testing (PBT) is a lightweight formal method, typically implemented as a randomized testing framework. Users specify the input domain for their test using combinator…