Buchumschlag

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Zehan, Zhang, Long, Zhang, Zhiwei, Zhang, JingJing, Zhou, Ruoyu, Shen, Yulong, Ma, JianFeng, Yang, Lin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
von: Chen, Zehan, et al.
Veröffentlicht: (2026)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
von: Zhang, Yuanrui
Veröffentlicht: (2024)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
von: Chang, Jianming, et al.
Veröffentlicht: (2025)

Specification Slicing for VDM-SL
von: Oda, Tomohiro, et al.
Veröffentlicht: (2024)

CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge
von: Zhang, Yuwei, et al.
Veröffentlicht: (2025)

An Agile Formal Specification Language Design Based on K Framework
von: Zhang, Jianyu, et al.
Veröffentlicht: (2024)

Counterexample Classification against Signal Temporal Logic Specifications
von: Zhang, Zhenya, et al.
Veröffentlicht: (2026)

Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation
von: Liu, Fang, et al.
Veröffentlicht: (2025)

Renaissance of Literate Programming in the Era of LLMs: Enhancing LLM-Based Code Generation in Large-Scale Projects
von: Zhang, Wuyang, et al.
Veröffentlicht: (2024)

LRASGen: LLM-based RESTful API Specification Generation
von: Deng, Sida, et al.
Veröffentlicht: (2025)

Type-aware LLM-based Regression Test Generation for Python Programs
von: Liu, Runlin, et al.
Veröffentlicht: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
von: Zhang, Jianyu, et al.
Veröffentlicht: (2024)

Moving beyond Deletions: Program Simplification via Diverse Program Transformations
von: Wang, Haibo, et al.
Veröffentlicht: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
von: Liu, Ye, et al.
Veröffentlicht: (2024)

Program Slicing in the Era of Large Language Models
von: Shahandashti, Kimya Khakzad, et al.
Veröffentlicht: (2024)

AUCAD: Automated Construction of Alignment Dataset from Log-Related Issues for Enhancing LLM-based Log Generation
von: Zhang, Hao, et al.
Veröffentlicht: (2024)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, 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)

Environment-in-the-Loop: Rethinking Code Migration with LLM-based Agents
von: Li, Xiang, et al.
Veröffentlicht: (2026)

LAURA: Enhancing Code Review Generation with Context-Enriched Retrieval-Augmented LLM
von: Zhang, Yuxin, et al.
Veröffentlicht: (2025)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
von: Lin, Teyu, et al.
Veröffentlicht: (2026)

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
von: Zhang, Ke, et al.
Veröffentlicht: (2025)

HITS: High-coverage LLM-based Unit Test Generation via Method Slicing
von: Wang, Zejun, et al.
Veröffentlicht: (2024)

SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
von: Lin, Zewei, et al.
Veröffentlicht: (2026)

AP2O-Coder: Adaptively Progressive Preference Optimization for Reducing Compilation and Runtime Errors in LLM-Generated Code
von: Zhang, Jianqing, et al.
Veröffentlicht: (2025)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
von: Ma, Lezhi, et al.
Veröffentlicht: (2024)

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

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions
von: Wang, Jing, et al.
Veröffentlicht: (2025)

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

GPU-Accelerated Loopy Belief Propagation for Program Analysis
von: Feng, Haoyu, et al.
Veröffentlicht: (2025)

Re-evaluation of Logical Specification in Behavioural Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

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

An Empirical Study on Noisy Label Learning for Program Understanding
von: Wang, Wenhan, et al.
Veröffentlicht: (2023)

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair
von: Mu, Fangwen, et al.
Veröffentlicht: (2025)

Improving Dynamic Specification Inference with LLM-Generated Counterexamples
von: Balestra, Agustín, et al.
Veröffentlicht: (2026)

Decoding Human-LLM Collaboration in Coding: An Empirical Study of Multi-Turn Conversations in the Wild
von: Zhang, Binquan, et al.
Veröffentlicht: (2025)

Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
von: Lin, Peisen, et al.
Veröffentlicht: (2024)

LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-based Code Completion
von: Wang, Chong, et al.
Veröffentlicht: (2024)

On the Effectiveness of Large Language Models in Domain-Specific Code Generation
von: Gu, Xiaodong, et al.
Veröffentlicht: (2023)

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
von: Tian, Zhao, et al.
Veröffentlicht: (2023)