Buchumschlag

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wen, Cheng, Cao, Jialun, Su, Jie, Xu, Zhiwu, Qin, Shengchao, He, Mengda, Li, Haokun, Cheung, Shing-Chi, Tian, Cong
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

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

LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation
von: Xu, Dong, et al.
Veröffentlicht: (2026)

Concerned with Data Contamination? Assessing Countermeasures in Code Language Model
von: Cao, Jialun, et al.
Veröffentlicht: (2024)

What Builds Effective In-Context Examples for Code Generation?
von: Li, Dongze, 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)

A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
von: Wang, Zhongyi, et al.
Veröffentlicht: (2025)

Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation
von: Zhu, Qiming, et al.
Veröffentlicht: (2025)

When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?
von: Chen, Jingyi, et al.
Veröffentlicht: (2025)

ReuseDroid: A VLM-empowered Android UI Test Migrator Boosted by Active Feedback
von: Li, Xiaolei, et al.
Veröffentlicht: (2025)

ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair
von: Chen, Zhiyong, et al.
Veröffentlicht: (2026)

Automated LTL Specification Generation from Industrial Aerospace Requirements
von: Ma, Zhi, et al.
Veröffentlicht: (2026)

COMET: Coverage-guided Model Generation For Deep Learning Library Testing
von: Li, Meiziniu, et al.
Veröffentlicht: (2022)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
von: Cao, Jialun, et al.
Veröffentlicht: (2025)

Can Emulating Semantic Translation Help LLMs with Code Translation? A Study Based on Pseudocode
von: Chen, Songqiang, et al.
Veröffentlicht: (2025)

CODECLEANER: Elevating Standards with A Robust Data Contamination Mitigation Toolkit
von: Cao, Jialun, et al.
Veröffentlicht: (2024)

Isolating Language-Coding from Problem-Solving: Benchmarking LLMs with PseudoEval
von: Wu, Jiarong, et al.
Veröffentlicht: (2025)

EmbedAgent: Benchmarking Large Language Models in Embedded System Development
von: Xu, Ruiyang, et al.
Veröffentlicht: (2025)

MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
von: Xu, Congying, et al.
Veröffentlicht: (2024)

Enhancing Differential Testing With LLMs For Testing Deep Learning Libraries
von: Li, Meiziniu, et al.
Veröffentlicht: (2024)

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models
von: Cao, Jialun, et al.
Veröffentlicht: (2024)

MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
von: Su, Jie, et al.
Veröffentlicht: (2025)

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

DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation
von: Zhu, Qiming, et al.
Veröffentlicht: (2024)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
von: Ma, Zhi, et al.
Veröffentlicht: (2024)

Automatic Build Repair for Test Cases using Incompatible Java Versions
von: Mak, Ching Hang, et al.
Veröffentlicht: (2024)

Large Language Models for Multilingual Code Intelligence: A Survey
von: Jiang, Chao, et al.
Veröffentlicht: (2026)

MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases
von: Xu, Congying, et al.
Veröffentlicht: (2023)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

Towards Repository-Level Program Verification with Large Language Models
von: Zhong, Si Cheng, et al.
Veröffentlicht: (2025)

Program Decomposition and Translation with Static Analysis
von: Ibrahimzada, Ali Reza
Veröffentlicht: (2024)

From What to How: Bridging User Requirements with Software Development Using Large Language Models
von: He, Xiao, et al.
Veröffentlicht: (2026)

Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals
von: Le-Anh, Minh, et al.
Veröffentlicht: (2026)

Lemma Discovery in Agentic Program Verification
von: Zhao, Huan, et al.
Veröffentlicht: (2026)

Word Closure-Based Metamorphic Testing for Machine Translation
von: Xie, Xiaoyuan, et al.
Veröffentlicht: (2023)

RulER: Automated Rule-Based Semantic Error Localization and Repair for Code Translation
von: Jin, Shuo, et al.
Veröffentlicht: (2025)

PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis
von: Wang, Zhongyi, et al.
Veröffentlicht: (2025)

Towards Understanding the Bugs in Solidity Compiler
von: Ma, Haoyang, et al.
Veröffentlicht: (2024)

SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
von: He, Pengfei, et al.
Veröffentlicht: (2025)

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

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