:: Library Catalog

Buchumschlag

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:	2026
Schlagworte:	Software Engineering
Online-Zugang:	https://arxiv.org/abs/2602.00715
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
von: Chen, Zehan, 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)

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

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

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

FASTRIC: Prompt Specification Language for Verifiable LLM Interactions
von: Jin, Wen-Long
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)

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

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

Logic Mining from Process Logs: Towards Automated Specification and Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

6G Software Engineering: A Systematic Mapping Study
von: Su, Ruoyu, et al.
Veröffentlicht: (2024)

SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review
von: Wang, Kai, 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)

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

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
von: Tagliaferro, Alberto, et al.
Veröffentlicht: (2026)

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

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

LLM Assisted Coding with Metamorphic Specification Mutation Agent
von: Akhond, Mostafijur Rahman, et al.
Veröffentlicht: (2025)

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

From Horizontal Layering to Vertical Integration: A Comparative Study of the AI-Driven Software Development Paradigm
von: Zhang, Chi, et al.
Veröffentlicht: (2026)

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

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
von: Granberry, George, et al.
Veröffentlicht: (2025)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
von: Ramadan, Qusai, et al.
Veröffentlicht: (2025)

VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications
von: Misu, Md Rakib Hossain, et al.
Veröffentlicht: (2026)

Specification and Detection of LLM Code Smells
von: Mahmoudi, Brahim, et al.
Veröffentlicht: (2025)

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

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

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

DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
von: Ayoughi, Negin, et al.
Veröffentlicht: (2026)

Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
von: Hasan, Mohammad Saqib, et al.
Veröffentlicht: (2025)

Automatic Multi-level Feature Tree Construction for Domain-Specific Reusable Artifacts Management
von: Jin, Dongming, et al.
Veröffentlicht: (2025)

Diagnosing Violations of State-based Specifications in iCFTL
von: Stratan, Cristina, et al.
Veröffentlicht: (2025)

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
von: Lian, Xiaoli, et al.
Veröffentlicht: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2026)

Adventures in FRET and Specification
von: Farrell, Marie, et al.
Veröffentlicht: (2025)

An Empirical Study: MEMS as a Static Performance Metric
von: Zhang, Liwei, et al.
Veröffentlicht: (2025)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
von: Deng, Xun, et al.
Veröffentlicht: (2025)

Context-Specific Instruction: A Longitudinal Study on Debugging Skill Acquisition and Retention for Novice Programmers
von: Zhang, Ziyi, et al.
Veröffentlicht: (2025)

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