Imagen de Portada

Specification Slicing for VDM-SL

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Oda, Tomohiro, Chang, Han-Myung
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Towards Operation Proof Obligation Generation for VDM
por: Battle, Nick, et al.
Publicado: (2025)

Translating a VDM Model of a Medical Device into Kapture
por: Hare, Joe, et al.
Publicado: (2025)

QuickCheck for VDM
por: Battle, Nick, et al.
Publicado: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
por: Liu, Ye, et al.
Publicado: (2024)

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

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
por: Kulik, Tomas, et al.
Publicado: (2024)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
por: Chang, Jianming, et al.
Publicado: (2025)

Program Slicing in the Era of Large Language Models
por: Shahandashti, Kimya Khakzad, et al.
Publicado: (2024)

Feature Slice Matching for Precise Bug Detection
por: Ma, Ke, et al.
Publicado: (2025)

Requirements-driven Slicing of Simulink Models Using LLMs
por: Luitel, Dipeeka, et al.
Publicado: (2024)

SliceLocator: Locating Vulnerable Statements with Graph-based Detectors
por: Cheng, Baijun, et al.
Publicado: (2024)

Lares: LLM-driven Code Slice Semantic Search for Patch Presence Testing
por: Li, Siyuan, et al.
Publicado: (2025)

HITS: High-coverage LLM-based Unit Test Generation via Method Slicing
por: Wang, Zejun, et al.
Publicado: (2024)

NeuSemSlice: Towards Effective DNN Model Maintenance via Neuron-level Semantic Slicing
por: Zhou, Shide, et al.
Publicado: (2024)

SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
por: He, Pengfei, et al.
Publicado: (2025)

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

A Slice-Based Change Impact Analysis for Regression Test Case Prioritization of Object-Oriented Programs
por: Panda, S., et al.
Publicado: (2025)

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

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

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

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

Debug Like a Human: Scaling LLM-based Fault Localization to Processor Design via Block-Level Instruction-Oriented Slicing
por: Liu, Zizhen, et al.
Publicado: (2026)

From B Specifications to $\{log$\}$ Forgrams
por: Cristiá, Maximiliano
Publicado: (2024)

Specification Vibing for Automated Program Repair
por: Zhu, Taohong, et al.
Publicado: (2026)

Semistructured Merge with Language-Specific Syntactic Separators
por: Cavalcanti, Guilherme, et al.
Publicado: (2024)

A Graphics Function Standard Specification Validator
por: Fraser, Steven D., et al.
Publicado: (2024)

LAPIS: Lightweight API Specification for Intelligent Systems
por: Garcia, Daniel
Publicado: (2026)

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

A Slicing-Based Approach for Detecting and Patching Vulnerable Code Clones
por: Alomari, Hakam, et al.
Publicado: (2025)

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
por: Karakaya, Kadiray, et al.
Publicado: (2024)

Quality Requirements for Code: On the Untapped Potential in Maintainability Specifications
por: Borg, Markus
Publicado: (2024)

An Interactive Empirical Approach to the Validation of Software Package Specifications
por: Fraser, S. D., et al.
Publicado: (2024)

Automated Validation of Insurance Applications against Calculation Specifications
por: Datar, Advaita, et al.
Publicado: (2022)

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

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

Diagnosing Violations of State-based Specifications in iCFTL
por: Stratan, Cristina, et al.
Publicado: (2025)

Exploring the Use of LLMs for Requirements Specification in an IT Consulting Company
por: Pasquale, Liliana, et al.
Publicado: (2025)

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

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

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