TY  - RPRT
TI  - FVSpec: Real-World Property-Based Tests as Lean Challenges
AU  - Quinn Dougherty
AU  - Max von Hippel
AU  - Simon Henniger
AU  - Hazel Shackleton
AU  - Mike Dodds
PY  - 2026
UR  - https://arxiv.org/abs/2606.01008
ID  - 2606.01008
ER  -