AIware 2025
Wed 19 - Thu 20 November 2025
co-located with
ASE 2025
Toggle navigation
Attending
Attending: Registration
Venue: Grand Walkerhill Seoul
About Seoul
Accommodations
Transportation
Program
AIware Program
Your Program
Wed 19 Nov
Thu 20 Nov
Tracks
AIware 2025
Keynotes
Main Track
ArXiv Track
Benchmark & Dataset Track
Industry Demo Track
Organization
AIware 2025 Committees
Steering Committee
Organizing Committee
Track Committees
Main Track
ArXiv Track
Benchmark & Dataset Track
Contributors
People Index
Search
Series
Series
AIware 2025
AIware 2024
Sign in
Sign up
ASE 2025
(
series
) /
AIware 2025
(
series
) /
Main Track
/
Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases
Who
Hidetake Tanaka
,
Haruto Tanaka
,
Kazumasa Shimari
,
Kenichi Matsumoto
Track
AIware 2025 Main Track
Hidetake Tanaka
Nara Institute of Science and Technology
Japan
Haruto Tanaka
Nara Institute of Science and Technology
Kazumasa Shimari
Nara Institute of Science and Technology
Japan
Kenichi Matsumoto
Nara Institute of Science and Technology
x
Mon 27 Oct 22:23
