Cover Image

Requirements-driven Slicing of Simulink Models Using LLMs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Luitel, Dipeeka, Nejati, Shiva, Sabetzadeh, Mehrdad
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Improving Requirements Completeness: Automated Assistance through Large Language Models
by: Luitel, Dipeeka, et al.
Published: (2023)

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

Genetic Programming for Self-Adaptive Auto-Scaling of Microservices
by: Li, Jia, et al.
Published: (2026)

DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
by: Ayoughi, Negin, et al.
Published: (2026)

Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
by: Jodat, Baharin A., et al.
Published: (2025)

Effort-Optimized, Accuracy-Driven Labelling and Validation of Test Inputs for DL Systems: A Mixed-Integer Linear Programming Approach
by: Amini, Mohammad Hossein, et al.
Published: (2025)

Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
by: Ayoughi, Negin, et al.
Published: (2024)

A Lean Simulation Framework for Stress Testing IoT Cloud Systems
by: Li, Jia, et al.
Published: (2024)

Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson
by: Chaudhary, Daksh, et al.
Published: (2024)

Practical Guidelines for the Selection and Evaluation of Natural Language Processing Techniques in Requirements Engineering
by: Sabetzadeh, Mehrdad, et al.
Published: (2024)

Question Answering for Multi-Release Systems: A Case Study at Ciena
by: Khamsepour, Parham, et al.
Published: (2026)

The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
by: Khamsepour, Parham, et al.
Published: (2025)

Test Input Validation for Vision-based DL Systems: An Active Learning Approach
by: Ghobari, Delaram, et al.
Published: (2025)

An Empirical Study on LLM-based Classification of Requirements-related Provisions in Food-safety Regulations
by: Hassani, Shabnam, et al.
Published: (2025)

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
by: Hassani, Shabnam, et al.
Published: (2025)

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

Rethinking Legal Compliance Automation: Opportunities with Large Language Models
by: Hassani, Shabnam, et al.
Published: (2024)

Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems
by: Amini, Mohammad Hossein, 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)

Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs?
by: Sorokin, Lev, et al.
Published: (2024)

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

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

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

Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
by: McIntyre-Garcia, Cristopher, et al.
Published: (2024)

Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
by: Kleijwegt, Alex, et al.
Published: (2025)

Requirements are All You Need: From Requirements to Code with LLMs
by: Wei, Bingyang
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)

An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs
by: Jin, Dongming, et al.
Published: (2024)

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

Self-adaptive, Requirements-driven Autoscaling of Microservices
by: Nunes, João Paulo Karol Santos, et al.
Published: (2024)

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

Leveraging LLMs for the Quality Assurance of Software Requirements
by: Lubos, Sebastian, et al.
Published: (2024)

LLMREI: Automating Requirements Elicitation Interviews with LLMs
by: Korn, Alexander, et al.
Published: (2025)

Prioritizing Software Requirements Using Large Language Models
by: Sami, Malik Abdul, et al.
Published: (2024)

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

Exploring the Use of LLMs for Requirements Specification in an IT Consulting Company
by: Pasquale, Liliana, et al.
Published: (2025)

Using Large Language Models to Develop Requirements Elicitation Skills
by: Lojo, Nelson, et al.
Published: (2025)

Program Slicing in the Era of Large Language Models
by: Shahandashti, Kimya Khakzad, et al.
Published: (2024)

From Specifications to Prompts: On the Future of Generative LLMs in Requirements Engineering
by: Vogelsang, Andreas
Published: (2024)

Multilingual Crowd-Based Requirements Engineering Using Large Language Models
by: Pilone, Arthur, et al.
Published: (2024)