Cover Image

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Patil, Minal Suresh, Ung, Gustav, Nyberg, Mattias
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
by: Amilon, Jesper, et al.
Published: (2026)

Hallucination in LLM-Based Code Generation: An Automotive Case Study
by: Pavel, Marc, et al.
Published: (2025)

Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches
by: Mazur, Lukasz, et al.
Published: (2025)

LLM-Powered Workflow Optimization for Multidisciplinary Software Development: An Automotive Industry Case Study
by: Wang, Shuai, et al.
Published: (2026)

LLM-Based Approach for Enhancing Maintainability of Automotive Architectures
by: Petrovic, Nenad, et al.
Published: (2025)

Multi-modal Summarization in Model-Based Engineering: Automotive Software Development Case Study
by: Petrovic, Nenad, et al.
Published: (2025)

GenAI for Automotive Software Development: From Requirements to Wheels
by: Petrovic, Nenad, et al.
Published: (2025)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
by: Kirchner, Sven, et al.
Published: (2025)

A Blueprint for AI-Driven Software Quality: Integrating LLMs with Established Standards
by: Patil, Avinash
Published: (2025)

LLM-based Iterative Approach to Metamodeling in Automotive
by: Petrovic, Nenad, et al.
Published: (2025)

Evaluating LLM-Based Test Generation Under Software Evolution
by: Haroon, Sabaat, et al.
Published: (2026)

OLAF: Towards Robust LLM-Based Annotation Framework in Empirical Software Engineering
by: Imran, Mia Mohammad, et al.
Published: (2025)

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code
by: Petrovic, Nenad, et al.
Published: (2025)

EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems
by: Yang, Huanqi, et al.
Published: (2024)

AI-Driven Self-Evolving Software: A Promising Path Toward Software Automation
by: Cai, Liyi, et al.
Published: (2025)

Automating a Complete Software Test Process Using LLMs: An Automotive Case Study
by: Wang, Shuai, et al.
Published: (2025)

LLM-Empowered Functional Safety and Security by Design in Automotive Systems
by: Petrovic, Nenad, et al.
Published: (2026)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
by: Amilon, Jesper, et al.
Published: (2025)

Rethinking the Value of Agent-Generated Tests for LLM-Based Software Engineering Agents
by: Chen, Zhi, et al.
Published: (2026)

Towards Green AI: Decoding the Energy of LLM Inference in Software Development
by: Solovyeva, Lola, et al.
Published: (2026)

Can LLM Generate Regression Tests for Software Commits?
by: Liu, Jing, et al.
Published: (2025)

Evaluating LLM-Based 0-to-1 Software Generation in End-to-End CLI Tool Scenarios
by: Hu, Ruida, et al.
Published: (2026)

Enhancing Formal Software Specification with Artificial Intelligence
by: Nassar, Antonio Abu, et al.
Published: (2026)

GoNoGo: An Efficient LLM-based Multi-Agent System for Streamlining Automotive Software Release Decision-Making
by: Khoee, Arsham Gholamzadeh, et al.
Published: (2024)

LLM-Based Agentic Systems for Software Engineering: Challenges and Opportunities
by: Tang, Yongjian, et al.
Published: (2026)

Empirical Analysis and Detection of Hallucinations in LLM-Generated Bug Report Summaries
by: Nirujan, Hinduja, et al.
Published: (2026)

Using LLMs in Software Requirements Specifications: An Empirical Evaluation
by: Krishna, Madhava, et al.
Published: (2024)

Software Reuse in the Generative AI Era: From Cargo Cult Towards AI Native Software Engineering
by: Mikkonen, Tommi, et al.
Published: (2025)

Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approach
by: Sepidband, Melika, et al.
Published: (2025)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
by: Cramer, Marcos, et al.
Published: (2025)

EvoDev: An Iterative Feature-Driven Framework for End-to-End Software Development with LLM-based Agents
by: Liu, Junwei, et al.
Published: (2025)

Embedding Software Intent: Lightweight Java Module Recovery
by: He, Yirui, et al.
Published: (2025)

Towards Reliable LLM-Driven Fuzz Testing: Vision and Road Ahead
by: Cheng, Yiran, et al.
Published: (2025)

On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software
by: Nouri, Ali, et al.
Published: (2025)

Enhancing Cross-Language Code Translation via Task-Specific Embedding Alignment in Retrieval-Augmented Generation
by: Bhattarai, Manish, et al.
Published: (2024)

AutoEmpirical: LLM-Based Automated Research for Empirical Software Fault Analysis
by: Yu, Jiongchi, et al.
Published: (2025)

GateLens: A Reasoning-Enhanced LLM Agent for Automotive Software Release Analytics
by: Khoee, Arsham Gholamzadeh, et al.
Published: (2025)

Specification and Detection of LLM Code Smells
by: Mahmoudi, Brahim, et al.
Published: (2025)

EvoGPT: Leveraging LLM-Driven Seed Diversity to Improve Search-Based Test Suite Generation
by: Broide, Lior, et al.
Published: (2025)

Holistic Evaluation of State-of-the-Art LLMs for Code Generation
by: Zhang, Le, et al.
Published: (2025)