Cover Image

Test Case Generation for Simulink Models: An Experience from the E-Bike Domain

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Marzella, Michael, Bombarda, Andrea, Minervini, Marcello, Bisceglia, Nunzio Marco, Gargantini, Angelo, Menghi, Claudio
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Failure Modes and Effects Analysis: An Experience from the E-Bike Domain
by: Bombarda, Andrea, et al.
Published: (2025)

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

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
by: Bombarda, Andrea, et al.
Published: (2026)

Search-based Software Testing Driven by Domain Knowledge: Reflections and New Perspectives
by: Formica, Federico, et al.
Published: (2025)

Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach
by: Formica, Federico, et al.
Published: (2026)

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

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

Trace Diagnostics for Signal-based Temporal Properties
by: Boufaied, Chaima, et al.
Published: (2022)

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

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

Parallelized Code Generation from Simulink Models for Event-driven and Timer-driven ROS 2 Nodes
by: Obi, Kenshin, et al.
Published: (2025)

Search-based Trace Diagnostic
by: Araujo, Gabriel, et al.
Published: (2024)

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

Issue2Test: Generating Reproducing Test Cases from Issue Reports
by: Nashid, Noor, et al.
Published: (2025)

Domain Adaptation for Code Model-based Unit Test Case Generation
by: Shin, Jiho, et al.
Published: (2023)

On the Energy Consumption of Test Generation
by: Kifetew, Fitsum, et al.
Published: (2025)

A System for Automated Unit Test Generation Using Large Language Models and Assessment of Generated Test Suites
by: Lops, Andrea, et al.
Published: (2024)

TESTEVAL: Benchmarking Large Language Models for Test Case Generation
by: Wang, Wenhan, et al.
Published: (2024)

Generalizing Test Cases for Comprehensive Test Scenario Coverage
by: Qi, Binhang, et al.
Published: (2026)

Feature-Aware Test Generation for Deep Learning Models
by: Chen, Xingcheng, et al.
Published: (2026)

TestBench: Evaluating Class-Level Test Case Generation Capability of Large Language Models
by: Zhang, Quanjun, et al.
Published: (2024)

Acceptance Test Generation with Large Language Models: An Industrial Case Study
by: Ferreira, Margarida, et al.
Published: (2025)

IntelliGame in Action: An Experience Report on Gamifying JavaScript Unit Tests
by: Straubinger, Philipp, et al.
Published: (2024)

KTester: Leveraging Domain and Testing Knowledge for More Effective LLM-based Test Generation
by: Li, Anji, et al.
Published: (2025)

Test Case Specification Techniques and System Testing Tools in the Automotive Industry: A Review
by: Zyberaj, Denesa, et al.
Published: (2025)

Investigating the Role of LLMs Hyperparameter Tuning and Prompt Engineering to Support Domain Modeling
by: Bulhakov, Vladyslav, et al.
Published: (2025)

A Tool for Test Case Scenarios Generation Using Large Language Models
by: Sami, Abdul Malik, et al.
Published: (2024)

Automated Control Logic Test Case Generation using Large Language Models
by: Koziolek, Heiko, et al.
Published: (2024)

Automatic High-Level Test Case Generation using Large Language Models
by: Hasan, Navid Bin, et al.
Published: (2025)

LLMs for Automated Unit Test Generation and Assessment in Java: The AgoneTest Framework
by: Lops, Andrea, et al.
Published: (2025)

Enriching Automatic Test Case Generation by Extracting Relevant Test Inputs from Bug Reports
by: Ouédraogo, Wendkûuni C., et al.
Published: (2023)

Large Language Models for Software Testing Education: an Experience Report
by: Yang, Peng, et al.
Published: (2026)

Vulnerability-Triggering Test Case Generation from Third-Party Libraries
by: Gao, Yi, et al.
Published: (2024)

ATGen: Adversarial Reinforcement Learning for Test Case Generation
by: Li, Qingyao, et al.
Published: (2025)

Test Case Generation for Dialogflow Task-Based Chatbots
by: Rapisarda, Rocco Gianni, et al.
Published: (2025)

PlayMyData: a curated dataset of multi-platform video games
by: D'Angelo, Andrea, et al.
Published: (2024)

HyperNet-Adaptation for Diffusion-Based Test Case Generation
by: Weißl, Oliver, et al.
Published: (2026)

AugmenTest: Enhancing Tests with LLM-Driven Oracles
by: Khandaker, Shaker Mahmud, et al.
Published: (2025)

Generating Project-Specific Test Cases with Requirement Validation Intention
by: Qi, Binhang, et al.
Published: (2025)

NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
by: Jin, Tiancheng, et al.
Published: (2025)