TY  - RPRT
TI  - Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases
AU  - Hidetake Tanaka
AU  - Haruto Tanaka
AU  - Kazumasa Shimari
AU  - Kenichi Matsumoto
PY  - 2025
UR  - https://arxiv.org/abs/2510.25297
ID  - 2510.25297
ER  -