@article{usepropertybasedtestingtobridgellmcode,
  title = {Use Property-Based Testing to Bridge LLM Code Generation and Validation},
  author = {Lehan He and Zeren Chen and Zhe Zhang and Jing Shao and Xiang Gao and Lu Sheng},
  year = {2025},
  eprint = {2506.18315},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2506.18315v1},
}