Cover Image

Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tanaka, Hidetake, Tanaka, Haruto, Shimari, Kazumasa, Matsumoto, Kenichi
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Longitudinal Analysis of Good First Issue Practices and Newcomer Pull Requests in Popular OSS Projects
by: Hoshikawa, Hirotatsu, et al.
Published: (2026)

eye2vec: Learning Distributed Representations of Eye Movement for Program Comprehension Analysis
by: Yoshioka, Haruhiko, et al.
Published: (2025)

Mining for Lags in Updating Critical Security Threats: A Case Study of Log4j Library
by: Tanaka, Hidetake, et al.
Published: (2025)

How Do Developers Use Migration Guides? A Case Study of Log4j
by: Monno, Takahiro, et al.
Published: (2026)

How Maintainable is Proficient Code? A Case Study of Three PyPI Libraries
by: Febriyanti, Indira, et al.
Published: (2024)

Uncovering Intention through LLM-Driven Code Snippet Description Generation
by: Nugroho, Yusuf Sulistyo, et al.
Published: (2025)

Nigerian Software Engineer or American Data Scientist? GitHub Profile Recruitment Bias in Large Language Models
by: Nakano, Takashi, et al.
Published: (2024)

How AI Coding Agents Communicate: A Study of Pull Request Description Characteristics and Human Review Responses
by: Watanabe, Kan, et al.
Published: (2026)

Do Developers Depend on Deprecated Library Versions? A Mining Study of Log4j
by: Yoshioka, Haruhiko, et al.
Published: (2025)

Using LLMs for Security Advisory Investigations: How Far Are We?
by: Abdullah, Bayu Fedra, et al.
Published: (2025)

Who Writes the Docs in SE 3.0? Agent vs. Human Documentation Pull Requests
by: Yamasaki, Kazuma, et al.
Published: (2026)

Understanding on the Edge: LLM-generated Boundary Test Explanations
by: Akbarova, Sabinakhon, et al.
Published: (2026)

ChatGPT and Human Synergy in Black-Box Testing: A Comparative Analysis
by: Kirinuki, Hiroyuki, et al.
Published: (2024)

Quantum-Guided Test Case Minimization for LLM-Based Code Generation
by: Zhang, Huixiang, et al.
Published: (2025)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
by: Xiong, Yiheng, et al.
Published: (2026)

Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions
by: Xiao, Tao, et al.
Published: (2024)

Toward Automated Test Generation for Dockerfiles Based on Analysis of Docker Image Layers
by: Goto, Yuki, et al.
Published: (2025)

LLM-based Unit Test Generation via Property Retrieval
by: Zhang, Zhe, et al.
Published: (2024)

Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
by: Glock, Johann, et al.
Published: (2025)

YATE: The Role of Test Repair in LLM-Based Unit Test Generation
by: Konstantinou, Michael, et al.
Published: (2025)

ChatUniTest: A Framework for LLM-Based Test Generation
by: Chen, Yinghao, et al.
Published: (2023)

Exploring the SECURITY.md in the Dependency Chain: Preliminary Analysis of the PyPI Ecosystem
by: Termphaiboon, Chayanid, et al.
Published: (2025)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
by: Etemadi, Khashayar, et al.
Published: (2025)

DevGPT: Studying Developer-ChatGPT Conversations
by: Xiao, Tao, et al.
Published: (2023)

Why Are Agentic Pull Requests Merged or Rejected? An Empirical Study
by: Peralta, Sien Reeve O., et al.
Published: (2026)

Test Case Generation for Dialogflow Task-Based Chatbots
by: Rapisarda, Rocco Gianni, et al.
Published: (2025)

Do AI Agents Really Improve Code Readability?
by: Horikawa, Kyogo, et al.
Published: (2026)

An Empirical Study of the Impact of Test Strategies on Online Optimization for Ensemble-Learning Defect Prediction
by: Hamamoto, Kensei, et al.
Published: (2024)

Human to Document, AI to Code: Comparing GenAI for Notebook Competitions
by: Settewong, Tasha, et al.
Published: (2025)

Test smells in LLM-Generated Unit Tests
by: Ouédraogo, Wendkûuni C., et al.
Published: (2024)

Generating High-Level Test Cases from Requirements using LLM: An Industry Study
by: Masuda, Satoshi, et al.
Published: (2025)

LLMCFG-TGen: Using LLM-Generated Control Flow Graphs to Automatically Create Test Cases from Use Cases
by: Yang, Zhenzhen, et al.
Published: (2025)

LLM-Based Test Case Generation in DBMS through Monte Carlo Tree Search
by: Chen, Yujia, et al.
Published: (2026)

Generalizing Test Cases for Comprehensive Test Scenario Coverage
by: Qi, Binhang, et al.
Published: (2026)

"My GitHub Sponsors profile is live!" Investigating the Impact of Twitter/X Mentions on GitHub Sponsors
by: Fan, Youmei, et al.
Published: (2024)

Introducing Ensemble Machine Learning Algorithms for Automatic Test Case Generation using Learning Based Testing
by: Rahman, Sheikh Md. Mushfiqur, et al.
Published: (2024)

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
by: Abdullin, Azat, et al.
Published: (2025)

Understanding LLM-Driven Test Oracle Generation
by: Bodicoat, Adam, et al.
Published: (2026)

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
by: Fakhoury, Sarah, et al.
Published: (2024)

Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models
by: Wang, Zhijie, et al.
Published: (2024)