Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases - Tanaka, Hidetake; Tanaka, Haruto; Shimari, Kazumasa; Matsumoto, Kenichi (2025 2nd IEEE/ACM International Conference on AI-powered Software (AIware), AI-powered Software (AIware), 2025 2nd IEEE/ACM International Conference on, AIWARE, 2025)