:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Obi, Kenshin, Yoshinaka, Ryo, Fujimoto, Hiroshi, Azumi, Takuya
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2512.23605
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model-based Development for Autonomous Driving Software Considering Parallelization
by: Obi, Kenshin, et al.
Published: (2025)

Requirements-driven Slicing of Simulink Models Using LLMs
by: Luitel, Dipeeka, et al.
Published: (2024)

AUTOSAR AP and ROS 2 Collaboration Framework
by: Iwakami, Ryudai, et al.
Published: (2025)

TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
by: Yoshimura, Nao, et al.
Published: (2025)

TECS/Rust: Memory-safe Component Framework for Embedded Systems
by: Yoshimura, Nao, et al.
Published: (2025)

Simulink Mutation Testing using CodeBERT
by: Zhang, Jingfan, et al.
Published: (2025)

Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
by: Marzella, Michael, et al.
Published: (2025)

Exploring the Potential of Large Language Models in Simulink-Stateflow Mutant Generation
by: Valle, Pablo, et al.
Published: (2026)

Search-based Testing of Simulink Models with Requirements Tables
by: Formica, Federico, et al.
Published: (2025)

Lost in Code Generation: Reimagining the Role of Software Models in AI-driven Software Engineering
by: Cito, Jürgen, et al.
Published: (2025)

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
by: Arrieta, Aitor, et al.
Published: (2024)

An Empirical Evaluation of White-box and Black-box Test Case Prioritization Techniques in CPSs Modeled in Simulink
by: Arrieta, Aitor
Published: (2025)

Lares: LLM-driven Code Slice Semantic Search for Patch Presence Testing
by: Li, Siyuan, et al.
Published: (2025)

Modeling and Recovering Hierarchical Structural Architectures of ROS 2 Systems from Code and Launch Configurations using LLM-based Agents
by: Benchat, Mohamed, et al.
Published: (2026)

Data-driven Test Generation for Fuzzing AI Compiler
by: Shen, Qingchao
Published: (2026)

Towards Explorative IRBL: Combining Semantic Retrieval with LLM-driven Iterative Code Exploration
by: Asad, Moumita, et al.
Published: (2025)

Impact-driven Context Filtering For Cross-file Code Completion
by: Li, Yanzhou, et al.
Published: (2025)

CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation
by: Peng, Jinjun, et al.
Published: (2025)

TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models
by: Le, Cuong Chi, et al.
Published: (2025)

An Empirical Study of Sustainability in Prompt-driven Test Script Generation Using Small Language Models
by: Kumari, Pragati, et al.
Published: (2026)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
by: Zhang, Jingwen, et al.
Published: (2026)

Towards Continuous Experiment-driven MLOps
by: Rajenthiram, Keerthiga, et al.
Published: (2025)

The role of slicing in test-driven development
by: Dieste, Oscar, et al.
Published: (2024)

Can Large Language Models Assist the Comprehension of ROS2 Software Architectures?
by: Duits, Laura, et al.
Published: (2026)

Enabling Content Management Systems as an Information Source in Model-driven Projects
by: Giner-Miguelez, Joan, et al.
Published: (2025)

Model-driven realization of IDTA submodel specifications: The good, the bad, the incompatible?
by: Eichelberger, Holger, et al.
Published: (2024)

TAROT: Test-driven and Capability-adaptive Curriculum Reinforcement Fine-tuning for Code Generation with Large Language Models
by: Park, Chansung, et al.
Published: (2026)

Mokav: Execution-driven Differential Testing with LLMs
by: Etemadi, Khashayar, et al.
Published: (2024)

Example-driven development: bridging tests and documentation
by: Nierstrasz, Oscar, et al.
Published: (2024)

AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution
by: Luo, Weilin, et al.
Published: (2025)

Quality in model-driven engineering: a tertiary study
by: Goulão, Miguel, et al.
Published: (2025)

Pricing-driven Development and Operation of SaaS : Challenges and Opportunities
by: García-Fernández, Alejandro, et al.
Published: (2024)

An LLM-driven Scenario Generation Pipeline Using an Extended Scenic DSL for Autonomous Driving Safety Validation
by: Safa, Fida Khandaker, et al.
Published: (2026)

CodeDPO: Aligning Code Models with Self Generated and Verified Source Code
by: Zhang, Kechi, et al.
Published: (2024)

A first look at ROS 2 applications written in asynchronous Rust
by: Škoudlil, Martin, et al.
Published: (2025)

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
by: Trinh, Hiep Hong, et al.
Published: (2025)

AUTOFRAME -- A Software-driven Integration Framework for Automotive Systems
by: Kirchner, Sven, et al.
Published: (2025)

Coupled Requirements-driven Testing of CPS: From Simulation To Reality
by: Agrawal, Ankit, et al.
Published: (2024)

Multi-objective Software Architecture Refactoring driven by Quality Attributes
by: Di Pompeo, Daniele, et al.
Published: (2023)

PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization
by: Bouafif, Mohamed Salah, et al.
Published: (2025)