Imagen de Portada

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Zehan, Zhang, Long, Zhang, Zhiwei, Zhang, JingJing, Zhou, Ruoyu, Shen, Yulong, Ma, JianFeng, Yang, Lin
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
por: Chen, Zehan, et al.
Publicado: (2025)

An Agile Formal Specification Language Design Based on K Framework
por: Zhang, Jianyu, et al.
Publicado: (2024)

Counterexample Classification against Signal Temporal Logic Specifications
por: Zhang, Zhenya, et al.
Publicado: (2026)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
por: Zhang, Yuanrui
Publicado: (2024)

Re-evaluation of Logical Specification in Behavioural Verification
por: Klimek, Radoslaw, et al.
Publicado: (2025)

LRASGen: LLM-based RESTful API Specification Generation
por: Deng, Sida, et al.
Publicado: (2025)

FASTRIC: Prompt Specification Language for Verifiable LLM Interactions
por: Jin, Wen-Long
Publicado: (2025)

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

Logic Mining from Process Logs: Towards Automated Specification and Verification
por: Klimek, Radoslaw, et al.
Publicado: (2025)

SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review
por: Wang, Kai, et al.
Publicado: (2025)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
por: Xiong, Yiheng, et al.
Publicado: (2026)

6G Software Engineering: A Systematic Mapping Study
por: Su, Ruoyu, et al.
Publicado: (2024)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
por: Li, Hui, et al.
Publicado: (2025)

How Effective are Large Language Models in Generating Software Specifications?
por: Xie, Danning, et al.
Publicado: (2023)

LLM Assisted Coding with Metamorphic Specification Mutation Agent
por: Akhond, Mostafijur Rahman, et al.
Publicado: (2025)

Improving Dynamic Specification Inference with LLM-Generated Counterexamples
por: Balestra, Agustín, et al.
Publicado: (2026)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
por: Ramadan, Qusai, et al.
Publicado: (2025)

On the Effectiveness of Large Language Models in Domain-Specific Code Generation
por: Gu, Xiaodong, et al.
Publicado: (2023)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
por: Granberry, George, et al.
Publicado: (2025)

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
por: Tian, Zhao, et al.
Publicado: (2023)

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

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

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

Specification and Detection of LLM Code Smells
por: Mahmoudi, Brahim, et al.
Publicado: (2025)

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

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

Automatic Multi-level Feature Tree Construction for Domain-Specific Reusable Artifacts Management
por: Jin, Dongming, et al.
Publicado: (2025)

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
por: Lian, Xiaoli, et al.
Publicado: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
por: Huang, Zhechong, et al.
Publicado: (2026)

Adventures in FRET and Specification
por: Farrell, Marie, et al.
Publicado: (2025)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
por: Deng, Xun, et al.
Publicado: (2025)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
por: Tagliaferro, Alberto, et al.
Publicado: (2026)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
por: Lian, Xiaoli, et al.
Publicado: (2025)

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

Environment-in-the-Loop: Rethinking Code Migration with LLM-based Agents
por: Li, Xiang, et al.
Publicado: (2026)

An Empirical Study: MEMS as a Static Performance Metric
por: Zhang, Liwei, et al.
Publicado: (2025)

BugRepro: Enhancing Android Bug Reproduction with Domain-Specific Knowledge Integration
por: Yin, Hongrong, et al.
Publicado: (2025)

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

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
por: Zhang, Ke, et al.
Publicado: (2025)

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