Copertina

Can Large Language Models Write Good Property-Based Tests?

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Vikram, Vasudev, Lemieux, Caroline, Sunshine, Joshua, Padhye, Rohan
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fuzzing with Agents? Generators Are All You Need
di: Vikram, Vasudev, et al.
Pubblicazione: (2026)

On the Freshness of Pinned Dependencies in Maven
di: Vikram, Vasudev, et al.
Pubblicazione: (2025)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
di: Li, Ao, et al.
Pubblicazione: (2025)

Software Engineering Methods For AI-Driven Deductive Legal Reasoning
di: Padhye, Rohan
Pubblicazione: (2024)

DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
di: Xu, Xiaomeng, et al.
Pubblicazione: (2025)

CodeJudge-Eval: Can Large Language Models be Good Judges in Code Understanding?
di: Zhao, Yuwei, et al.
Pubblicazione: (2024)

Property Testing for Ocean Models. Can We Specify It? (Invited Talk)
di: Cherian, Deepak A.
Pubblicazione: (2025)

A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks
di: Hudson, Sinclair, et al.
Pubblicazione: (2024)

Can Large Language Models Model Programs Formally?
di: Chen, Zhiyong, et al.
Pubblicazione: (2026)

Can Large Language Models Generate Geospatial Code?
di: Hou, Shuyang, et al.
Pubblicazione: (2024)

STELLAR: A Search-Based Testing Framework for Large Language Model Applications
di: Sorokin, Lev, et al.
Pubblicazione: (2026)

Testing Framework Migration with Large Language Models
di: Alves, Altino, et al.
Pubblicazione: (2026)

Interleaving Large Language Models for Compiler Testing
di: Ni, Yunbo, et al.
Pubblicazione: (2025)

Can Large Language Models Serve as Evaluators for Code Summarization?
di: Wu, Yang, et al.
Pubblicazione: (2024)

On the Evaluation of Large Language Models in Unit Test Generation
di: Yang, Lin, et al.
Pubblicazione: (2024)

Automated Harmfulness Testing for Code Large Language Models
di: Tan, Honghao, et al.
Pubblicazione: (2025)

Evaluating Large Language Models in Detecting Test Smells
di: Lucas, Keila, et al.
Pubblicazione: (2024)

LLMorpheus: Mutation Testing using Large Language Models
di: Tip, Frank, et al.
Pubblicazione: (2024)

CPP-UT-Bench: Can LLMs Write Complex Unit Tests in C++?
di: Bhargava, Vaishnavi, et al.
Pubblicazione: (2024)

Can Language Models Pass Software Testing Certification Exams? a case study
di: Haq, Fitash Ul, et al.
Pubblicazione: (2026)

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

A Survey on the Application of Large Language Models in Scenario-Based Testing of Automated Driving Systems
di: Zhao, Yongqi, et al.
Pubblicazione: (2025)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
di: Wang, Wenhan, et al.
Pubblicazione: (2025)

A Survey on Large Language Model Impact on Software Evolvability and Maintainability: the Good, the Bad, the Ugly, and the Remedy
di: Matias, Bruno Claudino, et al.
Pubblicazione: (2026)

Can Small GenAI Language Models Rival Large Language Models in Understanding Application Behavior?
di: Meymani, Mohammad, et al.
Pubblicazione: (2025)

SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications
di: Nitin, Vikram, et al.
Pubblicazione: (2024)

Using Large Language Models to Develop Requirements Elicitation Skills
di: Lojo, Nelson, et al.
Pubblicazione: (2025)

Software Testing with Large Language Models: Survey, Landscape, and Vision
di: Wang, Junjie, et al.
Pubblicazione: (2023)

Leveraging Large Language Models to Improve REST API Testing
di: Kim, Myeongsoo, et al.
Pubblicazione: (2023)

Software Testing with Large Language Models: An Interview Study with Practitioners
di: Santana, Maria Deolinda, et al.
Pubblicazione: (2025)

Comparative Evaluation of Large Language Models for Test-Skeleton Generation
di: Boorlagadda, Subhang, et al.
Pubblicazione: (2025)

Quality Assessment of Python Tests Generated by Large Language Models
di: Alves, Victor, et al.
Pubblicazione: (2025)

Ever-Improving Test Suite by Leveraging Large Language Models
di: Qiu, Ketai
Pubblicazione: (2025)

TESTEVAL: Benchmarking Large Language Models for Test Case Generation
di: Wang, Wenhan, et al.
Pubblicazione: (2024)

Large Language Models for Software Testing Education: an Experience Report
di: Yang, Peng, et al.
Pubblicazione: (2026)

REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
di: Chi, Jianlei, et al.
Pubblicazione: (2024)

From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
di: Xiong, Yiheng, et al.
Pubblicazione: (2026)

Can Large Language Models Assist the Comprehension of ROS2 Software Architectures?
di: Duits, Laura, et al.
Pubblicazione: (2026)

TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models
di: Le, Cuong Chi, et al.
Pubblicazione: (2025)

TestBench: Evaluating Class-Level Test Case Generation Capability of Large Language Models
di: Zhang, Quanjun, et al.
Pubblicazione: (2024)