Structure- and Event-Driven Frameworks for State Machine Modeling with Large Language Models
Fuente:
arXiv
Saved in:
| Main Authors: | Abdulkarim, Samer, Boyd, Evan, Bridi, Karl, Tufenkjian, Alec, Chen, Boqi, Mussbacher, Gunter |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Accurate and Consistent Graph Model Generation from Text with Large Language Models
by: Chen, Boqi, et al.
Published: (2025)
by: Chen, Boqi, et al.
Published: (2025)
SHERPA: A Model-Driven Framework for Large Language Model Execution
by: Chen, Boqi, et al.
Published: (2025)
by: Chen, Boqi, et al.
Published: (2025)
LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering
by: Feng, Shuzhao, et al.
Published: (2026)
by: Feng, Shuzhao, et al.
Published: (2026)
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
by: Chen, Boqi, et al.
Published: (2025)
by: Chen, Boqi, et al.
Published: (2025)
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
by: Chen, Boqi, et al.
Published: (2024)
by: Chen, Boqi, et al.
Published: (2024)
MCeT: Behavioral Model Correctness Evaluation using Large Language Models
by: Ahmed, Khaled, et al.
Published: (2025)
by: Ahmed, Khaled, et al.
Published: (2025)
On Inter-dataset Code Duplication and Data Leakage in Large Language Models
by: López, José Antonio Hernández, et al.
Published: (2024)
by: López, José Antonio Hernández, et al.
Published: (2024)
Hierarchical Evaluation of Software Design Capabilities of Large Language Models of Code
by: Saad, Mootez, et al.
Published: (2025)
by: Saad, Mootez, et al.
Published: (2025)
Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
by: Tu, Haoxin, et al.
Published: (2025)
by: Tu, Haoxin, et al.
Published: (2025)
On the use of Large Language Models in Model-Driven Engineering
by: Di Rocco, Juri, et al.
Published: (2024)
by: Di Rocco, Juri, et al.
Published: (2024)
Testing Framework Migration with Large Language Models
by: Alves, Altino, et al.
Published: (2026)
by: Alves, Altino, et al.
Published: (2026)
Behaviour Driven Development Scenario Generation with Large Language Models
by: Rathnayake, Amila, et al.
Published: (2026)
by: Rathnayake, Amila, et al.
Published: (2026)
State Machine Model for The Update Framework (TUF)
by: Romansky, Brian, et al.
Published: (2025)
by: Romansky, Brian, et al.
Published: (2025)
Towards Understanding Bugs in Distributed Training and Inference Frameworks for Large Language Models
by: Yu, Xiao, et al.
Published: (2025)
by: Yu, Xiao, et al.
Published: (2025)
Mutation Testing via Iterative Large Language Model-Driven Scientific Debugging
by: Straubinger, Philipp, et al.
Published: (2025)
by: Straubinger, Philipp, et al.
Published: (2025)
Can Large Language Models Model Programs Formally?
by: Chen, Zhiyong, et al.
Published: (2026)
by: Chen, Zhiyong, et al.
Published: (2026)
Understanding Large Language Model Supply Chain: Structure, Domain, and Vulnerabilities
by: Hu, Yanzhe, et al.
Published: (2025)
by: Hu, Yanzhe, et al.
Published: (2025)
Specification-Driven Code Translation Powered by Large Language Models: How Far Are We?
by: Saha, Soumit Kanti, et al.
Published: (2024)
by: Saha, Soumit Kanti, et al.
Published: (2024)
DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation
by: Yang, Mingke, et al.
Published: (2024)
by: Yang, Mingke, et al.
Published: (2024)
STELLAR: A Search-Based Testing Framework for Large Language Model Applications
by: Sorokin, Lev, et al.
Published: (2026)
by: Sorokin, Lev, et al.
Published: (2026)
Toward Systematic Counterfactual Fairness Evaluation of Large Language Models: The CAFFE Framework
by: Parziale, Alessandra, et al.
Published: (2025)
by: Parziale, Alessandra, et al.
Published: (2025)
Aligning Requirement for Large Language Model's Code Generation
by: Tian, Zhao, et al.
Published: (2025)
by: Tian, Zhao, et al.
Published: (2025)
Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models
by: Zhang, Zejun, et al.
Published: (2024)
by: Zhang, Zejun, et al.
Published: (2024)
An Exploratory Study of Bayesian Prompt Optimization for Test-Driven Code Generation with Large Language Models
by: Tomar, Shlok, et al.
Published: (2025)
by: Tomar, Shlok, et al.
Published: (2025)
Narrowing the Complexity Gap in the Evaluation of Large Language Models
by: Chen, Yang, et al.
Published: (2026)
by: Chen, Yang, et al.
Published: (2026)
Generative AI in Systems Engineering: A Framework for Risk Assessment of Large Language Models
by: Otten, Stefan, et al.
Published: (2026)
by: Otten, Stefan, et al.
Published: (2026)
FeedbackEval: A Benchmark for Evaluating Large Language Models in Feedback-Driven Code Repair Tasks
by: Dai, Dekun, et al.
Published: (2025)
by: Dai, Dekun, et al.
Published: (2025)
ALPINE: An adaptive language-agnostic pruning method for language models for code
by: Saad, Mootez, et al.
Published: (2024)
by: Saad, Mootez, et al.
Published: (2024)
Scaling Data-Driven Building Energy Modelling using Large Language Models
by: Khadka, Sunil, et al.
Published: (2024)
by: Khadka, Sunil, et al.
Published: (2024)
Large Language Model-Driven Code Compliance Checking in Building Information Modeling
by: Madireddy, Soumya, et al.
Published: (2025)
by: Madireddy, Soumya, et al.
Published: (2025)
Improving Compiler Bug Isolation by Leveraging Large Language Models
by: Qi, Yixian, et al.
Published: (2025)
by: Qi, Yixian, et al.
Published: (2025)
Empowering AIOps: Leveraging Large Language Models for IT Operations Management
by: Vitui, Arthur, et al.
Published: (2025)
by: Vitui, Arthur, et al.
Published: (2025)
On the Evaluation of Large Language Models in Unit Test Generation
by: Yang, Lin, et al.
Published: (2024)
by: Yang, Lin, et al.
Published: (2024)
Towards an Understanding of Large Language Models in Software Engineering Tasks
by: Zheng, Zibin, et al.
Published: (2023)
by: Zheng, Zibin, et al.
Published: (2023)
Advancing Code Coverage: Incorporating Program Analysis with Large Language Models
by: Yang, Chen, et al.
Published: (2024)
by: Yang, Chen, et al.
Published: (2024)
On the Evaluation of Large Language Models in Multilingual Vulnerability Repair
by: wang, Dong, et al.
Published: (2025)
by: wang, Dong, et al.
Published: (2025)
Rethinking Code Complexity Through the Lens of Large Language Models
by: Xie, Chen, et al.
Published: (2026)
by: Xie, Chen, et al.
Published: (2026)
Chat-like Asserts Prediction with the Support of Large Language Model
by: Wang, Han, et al.
Published: (2024)
by: Wang, Han, et al.
Published: (2024)
APIDocBooster: An Extract-Then-Abstract Framework Leveraging Large Language Models for Augmenting API Documentation
by: Yang, Chengran, et al.
Published: (2023)
by: Yang, Chengran, et al.
Published: (2023)
A Survey on Large Language Models for Software Engineering
by: Zhang, Quanjun, et al.
Published: (2023)
by: Zhang, Quanjun, et al.
Published: (2023)
Similar Items
-
Accurate and Consistent Graph Model Generation from Text with Large Language Models
by: Chen, Boqi, et al.
Published: (2025) -
SHERPA: A Model-Driven Framework for Large Language Model Execution
by: Chen, Boqi, et al.
Published: (2025) -
LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering
by: Feng, Shuzhao, et al.
Published: (2026) -
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
by: Chen, Boqi, et al.
Published: (2025) -
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
by: Chen, Boqi, et al.
Published: (2024)