AutoFSM: A Multi-agent Framework for FSM Code Generation with IR and SystemC-Based Testing
Fuente:
arXiv
Saved in:
| Main Authors: | Luo, Qiuming, Lei, Yanming, Wu, Kunzhong, Cao, Yixuan, Liu, Chengjian |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Complete FSM Testing Using Strong Separability
by: Hierons, Robert M., et al.
Published: (2025)
by: Hierons, Robert M., et al.
Published: (2025)
Analyzing Code Injection Attacks on LLM-based Multi-Agent Systems in Software Development
by: Bowers, Brian, et al.
Published: (2025)
by: Bowers, Brian, et al.
Published: (2025)
FSM Modeling For Off-Blockchain Computation
by: Liu, Christian Gang
Published: (2025)
by: Liu, Christian Gang
Published: (2025)
A Generic Modelling Framework for Last-Mile Delivery Systems
by: Gürcan, Önder, et al.
Published: (2025)
by: Gürcan, Önder, et al.
Published: (2025)
No Test Cases, No Problem: Distillation-Driven Code Generation for Scientific Workflows
by: Raghavan, Siddeshwar, et al.
Published: (2026)
by: Raghavan, Siddeshwar, et al.
Published: (2026)
AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems
by: Li, Yang, et al.
Published: (2025)
by: Li, Yang, et al.
Published: (2025)
AI-Generated Code Is Not Reproducible (Yet): An Empirical Study of Dependency Gaps in LLM-Based Coding Agents
by: Vangala, Bhanu Prakash, et al.
Published: (2025)
by: Vangala, Bhanu Prakash, et al.
Published: (2025)
Bridging the Prototype-Production Gap: A Multi-Agent System for Notebooks Transformation
by: Elhashemy, Hanya, et al.
Published: (2025)
by: Elhashemy, Hanya, et al.
Published: (2025)
Fairness in Multi-Agent Systems for Software Engineering: An SDLC-Oriented Rapid Review
by: Yang-Smith, Corey, et al.
Published: (2026)
by: Yang-Smith, Corey, et al.
Published: (2026)
CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
by: Joos, Pascal, et al.
Published: (2025)
by: Joos, Pascal, et al.
Published: (2025)
SWE-WebDevBench: Evaluating Coding Agent Application Platforms as Virtual Software Agencies
by: Saxena, Siddhant, et al.
Published: (2026)
by: Saxena, Siddhant, et al.
Published: (2026)
Sibyl-AutoResearch: Autonomous Research Needs Self-Evolving Trial-and-Error Harnesses, Not Paper Generators
by: Wang, Chengcheng, et al.
Published: (2026)
by: Wang, Chengcheng, et al.
Published: (2026)
ABMax: A JAX-based Agent-based Modeling Framework
by: Chaturvedi, Siddharth, et al.
Published: (2025)
by: Chaturvedi, Siddharth, et al.
Published: (2025)
Multi-Agent LLM Committees for Autonomous Software Beta Testing
by: Karanam, Sumanth Bharadwaj Hachalli, et al.
Published: (2025)
by: Karanam, Sumanth Bharadwaj Hachalli, et al.
Published: (2025)
The Lifecycle Workbench -- A Configurable Framework for Digitized Product Maintenance Services
by: Briechle, Dominique, et al.
Published: (2025)
by: Briechle, Dominique, et al.
Published: (2025)
Runtime Composition in Dynamic System of Systems: A Systematic Review of Challenges, Solutions, Tools, and Evaluation Methods
by: Ashfaq, Muhammad, et al.
Published: (2025)
by: Ashfaq, Muhammad, et al.
Published: (2025)
The Hidden Bloat in Machine Learning Systems
by: Zhang, Huaifeng, et al.
Published: (2025)
by: Zhang, Huaifeng, et al.
Published: (2025)
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
by: Ferrando, Angelo, et al.
Published: (2024)
by: Ferrando, Angelo, et al.
Published: (2024)
Automated Root-Cause Subclassification and No-Code Fix Generation for Invalid Bug Reports
by: Gon, Mahmut Furkan, et al.
Published: (2026)
by: Gon, Mahmut Furkan, et al.
Published: (2026)
Lessons Learned: A Multi-Agent Framework for Code LLMs to Learn and Improve
by: Liu, Yuanzhe, et al.
Published: (2025)
by: Liu, Yuanzhe, et al.
Published: (2025)
Exploring the Potential of Conversational Test Suite Based Program Repair on SWE-bench
by: Cheshkov, Anton, et al.
Published: (2024)
by: Cheshkov, Anton, et al.
Published: (2024)
Code2MCP: Transforming Code Repositories into MCP Services
by: Ouyang, Chaoqian, et al.
Published: (2025)
by: Ouyang, Chaoqian, et al.
Published: (2025)
Beyond Task Completion: An Assessment Framework for Evaluating Agentic AI Systems
by: Akshathala, Sreemaee, et al.
Published: (2025)
by: Akshathala, Sreemaee, et al.
Published: (2025)
Nexus: A Lightweight and Scalable Multi-Agent Framework for Complex Tasks Automation
by: Sami, Humza, et al.
Published: (2025)
by: Sami, Humza, et al.
Published: (2025)
LDP: An Identity-Aware Protocol for Multi-Agent LLM Systems
by: Prakash, Sunil
Published: (2026)
by: Prakash, Sunil
Published: (2026)
ResearchCodeAgent: An LLM Multi-Agent System for Automated Codification of Research Methodologies
by: Gandhi, Shubham, et al.
Published: (2025)
by: Gandhi, Shubham, et al.
Published: (2025)
Reliable agent engineering should integrate machine-compatible organizational principles
by: Xian, R. Patrick, et al.
Published: (2025)
by: Xian, R. Patrick, et al.
Published: (2025)
Extending the OWASP Multi-Agentic System Threat Modeling Guide: Insights from Multi-Agent Security Research
by: Krawiecka, Klaudia, et al.
Published: (2025)
by: Krawiecka, Klaudia, et al.
Published: (2025)
EnergyTwin: A Multi-Agent System for Simulating and Coordinating Energy Microgrids
by: Muszyński, Jakub, et al.
Published: (2025)
by: Muszyński, Jakub, et al.
Published: (2025)
Assessing and Enhancing the Robustness of LLM-based Multi-Agent Systems Through Chaos Engineering
by: Owotogbe, Joshua
Published: (2025)
by: Owotogbe, Joshua
Published: (2025)
TDFlow: Agentic Workflows for Test Driven Development
by: Han, Kevin, et al.
Published: (2025)
by: Han, Kevin, et al.
Published: (2025)
Facilitating Trustworthy Human-Agent Collaboration in LLM-based Multi-Agent System oriented Software Engineering
by: Ronanki, Krishna
Published: (2025)
by: Ronanki, Krishna
Published: (2025)
Application Management in C-ITS: Orchestrating Demand-Driven Deployments and Reconfigurations
by: Zanger, Lukas, et al.
Published: (2025)
by: Zanger, Lukas, et al.
Published: (2025)
Resolving Java Code Repository Issues with iSWE Agent
by: Ganhotra, Jatin, et al.
Published: (2026)
by: Ganhotra, Jatin, et al.
Published: (2026)
Assuring Safety of Vision-Based Swarm Formation Control
by: Hsieh, Chiao, et al.
Published: (2022)
by: Hsieh, Chiao, et al.
Published: (2022)
The Specification Gap: Coordination Failure Under Partial Knowledge in Code Agents
by: Sartori, Camilo Chacón
Published: (2026)
by: Sartori, Camilo Chacón
Published: (2026)
ToolRosella: Translating Code Repositories into Standardized Tools for Scientific Agents
by: Di, Shimin, et al.
Published: (2026)
by: Di, Shimin, et al.
Published: (2026)
Toward Agentic Software Engineering Beyond Code: Framing Vision, Values, and Vocabulary
by: Hoda, Rashina
Published: (2025)
by: Hoda, Rashina
Published: (2025)
Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development
by: Koch, Christopher
Published: (2026)
by: Koch, Christopher
Published: (2026)
Externalization in LLM Agents: A Unified Review of Memory, Skills, Protocols and Harness Engineering
by: Zhou, Chenyu, et al.
Published: (2026)
by: Zhou, Chenyu, et al.
Published: (2026)
Similar Items
-
Complete FSM Testing Using Strong Separability
by: Hierons, Robert M., et al.
Published: (2025) -
Analyzing Code Injection Attacks on LLM-based Multi-Agent Systems in Software Development
by: Bowers, Brian, et al.
Published: (2025) -
FSM Modeling For Off-Blockchain Computation
by: Liu, Christian Gang
Published: (2025) -
A Generic Modelling Framework for Last-Mile Delivery Systems
by: Gürcan, Önder, et al.
Published: (2025) -
No Test Cases, No Problem: Distillation-Driven Code Generation for Scientific Workflows
by: Raghavan, Siddeshwar, et al.
Published: (2026)