Buchumschlag

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ma, Lezhi, Liu, Shangqing, Li, Yi, Xie, Xiaofei, Bu, Lei
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
von: Ma, Lezhi, et al.
Veröffentlicht: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
von: Ma, Lezhi, et al.
Veröffentlicht: (2026)

ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs
von: Kong, Jiaolong, et al.
Veröffentlicht: (2024)

Do Code Semantics Help? A Comprehensive Study on Execution Trace-Based Information for Code Large Language Models
von: Wang, Jian, et al.
Veröffentlicht: (2025)

Intention is All You Need: Refining Your Code from Your Intention
von: Guo, Qi, et al.
Veröffentlicht: (2025)

Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs
von: Wang, Jian, et al.
Veröffentlicht: (2025)

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
von: Sevenhuijsen, Merlijn, et al.
Veröffentlicht: (2024)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
von: Xia, Shihao, et al.
Veröffentlicht: (2026)

AutoSpec: Automated Generation of Neural Network Specifications
von: Jin, Shuowei, et al.
Veröffentlicht: (2024)

FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
von: Guo, Qi, et al.
Veröffentlicht: (2024)

SpecPylot: Python Specification Generation using Large Language Models
von: Ayon, Ragib Shahariar, et al.
Veröffentlicht: (2026)

Can Large Language Models Model Programs Formally?
von: Chen, Zhiyong, et al.
Veröffentlicht: (2026)

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

Automated Program Repair Based on REST API Specifications Using Large Language Models
von: Yamagishi, Katsuki, et al.
Veröffentlicht: (2025)

Large Language Models for Automated Web-Form-Test Generation: An Empirical Study
von: Li, Tao, et al.
Veröffentlicht: (2024)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

A Systematic Literature Review on Large Language Models for Automated Program Repair
von: Zhang, Quanjun, et al.
Veröffentlicht: (2024)

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
von: Chakraborty, Madhurima, et al.
Veröffentlicht: (2025)

Enhancing Automated Program Repair via Faulty Token Localization and Quality-Aware Patch Refinement
von: Kong, Jiaolong, et al.
Veröffentlicht: (2025)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
von: Ma, Zhi, et al.
Veröffentlicht: (2025)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
von: Xiong, Yiheng, et al.
Veröffentlicht: (2026)

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
von: Li, Fengjie, et al.
Veröffentlicht: (2024)

Leveraging LLM Agents for Automated Video Game Testing
von: Wang, Chengjia, et al.
Veröffentlicht: (2025)

Empirical Evaluation of Large Language Models in Automated Program Repair
von: Sun, Jiajun, et al.
Veröffentlicht: (2025)

How Effective are Large Language Models in Generating Software Specifications?
von: Xie, Danning, et al.
Veröffentlicht: (2023)

AutoReSpec: A Framework for Generating Specification using Large Language Models
von: Ayon, Ragib Shahariar, et al.
Veröffentlicht: (2026)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
von: Alhanahnah, Mohannad, et al.
Veröffentlicht: (2024)

VulStamp: Vulnerability Assessment using Large Language Model
von: Shen, Hao, et al.
Veröffentlicht: (2025)

Large Language Model Supply Chain: Open Problems From the Security Perspective
von: Hu, Qiang, et al.
Veröffentlicht: (2024)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
von: Zhu, Qian, et al.
Veröffentlicht: (2025)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
von: Li, Hui, et al.
Veröffentlicht: (2025)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
von: Wen, Cheng, et al.
Veröffentlicht: (2024)

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
von: Rao, Nikitha, et al.
Veröffentlicht: (2024)

$T^3$: Multi-level Tree-based Automatic Program Repair with Large Language Models
von: Liu, Quanming, et al.
Veröffentlicht: (2025)

Unveiling Code Pre-Trained Models: Investigating Syntax and Semantics Capacities
von: Ma, Wei, et al.
Veröffentlicht: (2022)

TickIt: Leveraging Large Language Models for Automated Ticket Escalation
von: Liu, Fengrui, et al.
Veröffentlicht: (2025)

Automated Repair of C Programs Using Large Language Models
von: Farzandway, Mahdi, et al.
Veröffentlicht: (2025)

Exploring Generalizable Automated Program Repair with Large Language Models
von: Campos, Viola, et al.
Veröffentlicht: (2025)

Specification Vibing for Automated Program Repair
von: Zhu, Taohong, et al.
Veröffentlicht: (2026)

PSD2Code: Automated Front-End Code Generation from Design Files via Multimodal Large Language Models
von: Chen, Yongxi, et al.
Veröffentlicht: (2025)