Image de couverture de livre

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Pellegrinelli, Nico
Format:	Preprint
Publié:	2026
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

Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
par: Marzella, Michael, et autres
Publié: (2025)

Failure Modes and Effects Analysis: An Experience from the E-Bike Domain
par: Bombarda, Andrea, et autres
Publié: (2025)

Search-based Testing of Simulink Models with Requirements Tables
par: Formica, Federico, et autres
Publié: (2025)

Can Large Language Models Model Programs Formally?
par: Chen, Zhiyong, et autres
Publié: (2026)

Abductive Vibe Coding (Extended Abstract)
par: Murphy, Logan, et autres
Publié: (2026)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
par: Wang, Weiqi, 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)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
par: Ma, Lezhi, et autres
Publié: (2024)

APIDocBooster: An Extract-Then-Abstract Framework Leveraging Large Language Models for Augmenting API Documentation
par: Yang, Chengran, et autres
Publié: (2023)

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
par: Sevenhuijsen, Merlijn, et autres
Publié: (2024)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
par: Hähnle, Reiner, et autres
Publié: (2025)

Automated Repair of AI Code with Large Language Models and Formal Verification
par: Charalambous, Yiannis, et autres
Publié: (2024)

Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach
par: Formica, Federico, et autres
Publié: (2026)

Adoption of Large Language Models in Scrum Management: Insights from Brazilian Practitioners
par: Perkusich, Mirko, et autres
Publié: (2026)

Formalizing Operational Design Domains with the Pkl Language
par: Skoglund, Martin, et autres
Publié: (2025)

Applying Large Language Models to Issue Classification: Revisiting with Extended Data and New Models
par: Aracena, Gabriel, et autres
Publié: (2025)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
par: Schwarz, Michael, et autres
Publié: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
par: Mitchell, Jacqueline L., et autres
Publié: (2025)

Enhancing Large Language Model Efficiencyvia Symbolic Compression: A Formal Approach Towards Interpretability
par: AI, Lumen, et autres
Publié: (2025)

STELLAR: A Search-Based Testing Framework for Large Language Model Applications
par: Sorokin, Lev, et autres
Publié: (2026)

Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
par: Chen, Yujia, et autres
Publié: (2024)

Towards Automated Page Object Generation for Web Testing using Large Language Models
par: Karagöz, Betül, et autres
Publié: (2026)

An Agile Formal Specification Language Design Based on K Framework
par: Zhang, Jianyu, et autres
Publié: (2024)

Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
par: Tihanyi, Norbert, et autres
Publié: (2025)

White-box validation of quantitative product lines by statistical model checking and process mining
par: Casaluce, Roberto, et autres
Publié: (2024)

Toward Systematic Counterfactual Fairness Evaluation of Large Language Models: The CAFFE Framework
par: Parziale, Alessandra, et autres
Publié: (2025)

Bias Ahead: Sensitive Prompts as Early Warnings for Fairness in Large Language Models
par: Voria, Gianmario, et autres
Publié: (2026)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
par: Endres, Madeline, et autres
Publié: (2023)

FLAT: Formal Languages as Types
par: Zhu, Fengmin, et autres
Publié: (2025)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
par: Ferrando, Angelo
Publié: (2025)

Exploring Privacy and Security as Drivers for Environmental Sustainability in Cloud-Based Office Solutions (Extended Abstract)
par: Kayembe, Jason, et autres
Publié: (2024)

Greening Large Language Models of Code
par: Shi, Jieke, et autres
Publié: (2023)

Hotfixing Large Language Models for Code
par: Yang, Zhou, et autres
Publié: (2024)

Ecosystem of Large Language Models for Code
par: Yang, Zhou, et autres
Publié: (2024)

Extending ResourceLink: Patterns for Large Dataset Processing in MCP Applications
par: Frees, Scott
Publié: (2025)

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

On the use of Large Language Models in Model-Driven Engineering
par: Di Rocco, Juri, et autres
Publié: (2024)

Testing Framework Migration with Large Language Models
par: Alves, Altino, et autres
Publié: (2026)

Efficient Function Orchestration for Large Language Models
par: Liu, Xiaoxia, et autres
Publié: (2025)

Commit Messages in the Age of Large Language Models
par: Lopes, Cristina V., et autres
Publié: (2024)