Image de couverture de livre

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Castro, Pablo F., Putruele, Luciano, Degiovanni, Renzo, Aguirre, Nazareno
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Improving Dynamic Specification Inference with LLM-Generated Counterexamples
par: Balestra, Agustín, et autres
Publié: (2026)

Do LLMs generate test oracles that capture the actual or the expected program behaviour?
par: Konstantinou, Michael, et autres
Publié: (2024)

How well LLM-based test generation techniques perform with newer LLM versions?
par: Konstantinou, Michael, et autres
Publié: (2026)

State Field Coverage: A Metric for Oracle Quality
par: Molina, Facundo, et autres
Publié: (2025)

YATE: The Role of Test Repair in LLM-Based Unit Test Generation
par: Konstantinou, Michael, et autres
Publié: (2025)

Evaluating LLMs for One-Shot Patching of Real and Artificial Vulnerabilities
par: Garg, Aayush, et autres
Publié: (2025)

LAPIS: Lightweight API Specification for Intelligent Systems
par: Garcia, Daniel
Publié: (2026)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
par: Granberry, George, et autres
Publié: (2025)

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
par: Karakaya, Kadiray, et autres
Publié: (2024)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
par: Wen, Cheng, et autres
Publié: (2024)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
par: Zhao, Jianhong, et autres
Publié: (2024)

Development of a Real-Time Simulator Using EMTP-ATP Foreign models for Testing Relays
par: Fabian, Renzo, et autres
Publié: (2024)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
par: Huang, Zhechong, et autres
Publié: (2026)

Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems
par: Guo, Hua, et autres
Publié: (2025)

Lightweight Model Editing for LLMs to Correct Deprecated API Recommendations
par: Lin, Guancheng, et autres
Publié: (2025)

Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound
par: Zeng, Hui, et autres
Publié: (2025)

Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models
par: Yang, Guang, et autres
Publié: (2023)

A Lightweight Framework for Adaptive Retrieval In Code Completion With Critique Model
par: Zhang, Wenrui, et autres
Publié: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
par: Ma, Lezhi, et autres
Publié: (2026)

Optimistic Prediction of Synchronization-Reversal Data Races
par: Shi, Zheng, et autres
Publié: (2024)

Compiling Code LLMs into Lightweight Executables
par: Shi, Jieke, et autres
Publié: (2026)

How Effective are Large Language Models in Generating Software Specifications?
par: Xie, Danning, et autres
Publié: (2023)

On the Effectiveness of Large Language Models in Domain-Specific Code Generation
par: Gu, Xiaodong, et autres
Publié: (2023)

Detecting Semantic Alignments between Textual Specifications and Domain Models
par: Shimangaud, Shwetali, et autres
Publié: (2026)

Lightweight Syntactic API Usage Analysis with UCov
par: Monce, Gustave, et autres
Publié: (2024)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
par: Andresel, Medina, et autres
Publié: (2026)

Validating Traces of Distributed Programs Against TLA+ Specifications
par: Cirstea, Horatiu, et autres
Publié: (2024)

ModelWriter: Text & Model-Synchronized Document Engineering Platform
par: Erata, Ferhat, et autres
Publié: (2024)

ESBMC-Python: A Bounded Model Checker for Python Programs
par: Farias, Bruno, et autres
Publié: (2024)

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
par: Tian, Zhao, et autres
Publié: (2023)

ICCheck: A Portable, Language-Agnostic Tool for Synchronizing Code Clones
par: Abe, Motoki, et autres
Publié: (2025)

Generating Mock Skeletons for Lightweight Web-Service Testing
par: Bhagya, Thilini, et autres
Publié: (2019)

Adventures in FRET and Specification
par: Farrell, Marie, et autres
Publié: (2025)

Reconciling Complexity and Simplicity in the Business Model Canvas Design Through Metamodelling and Domain-Specific Modelling
par: Benkeltoum, Nordine
Publié: (2026)

Specification Slicing for VDM-SL
par: Oda, Tomohiro, et autres
Publié: (2024)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
par: Chen, Zehan, et autres
Publié: (2026)

Automated Program Repair Based on REST API Specifications Using Large Language Models
par: Yamagishi, Katsuki, et autres
Publié: (2025)

Cross-Task Benchmarking and Evaluation of General-Purpose and Code-Specific Large Language Models
par: Das, Gunjan, et autres
Publié: (2025)

An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
par: Ran, Dezhi, et autres
Publié: (2025)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
par: Alhanahnah, Mohannad, et autres
Publié: (2024)