Cover Image

On Augmenting Scenario-Based Modeling with Generative AI

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Harel, David, Katz, Guy, Marron, Assaf, Szekely, Smadar
Format:	Preprint
Published:	2024
Subjects:	Software Engineering 68N19
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability
by: Berzack, Ayelet, et al.
Published: (2025)

Anchor Attention, Small Cache: Code Generation with Large Language Models
by: Zhang, Xiangyu, et al.
Published: (2024)

Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems
by: Harel, David, et al.
Published: (2024)

SHAPR: Operationalising Human-AI Collaborative Research Through Structured Knowledge Generation
by: Chan, Ka Ching
Published: (2026)

A transfer learning approach for automatic conflicts detection in software requirement sentence pairs based on dual encoders
by: Wang, Yizheng, et al.
Published: (2025)

Evaluating the Application of SOLID Principles in Modern AI Framework Architectures
by: Shrestha, Jonesh
Published: (2025)

Directed Grammar-Based Test Generation
by: Kirschner, Lukas, et al.
Published: (2025)

OpenDerisk: An Industrial Framework for AI-Driven SRE, with Design, Implementation, and Case Studies
by: Di, Peng, et al.
Published: (2025)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
by: Zeng, Zhengran, et al.
Published: (2024)

Monte Carlo Tree Search for Execution-Guided Program Repair with Large Language Models
by: Liang, Yixuan
Published: (2026)

An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
by: Ran, Dezhi, et al.
Published: (2025)

GraphSense: Graph Embedding Based Code Suggestion Framework
by: Peiris, H. R Navod Thisura
Published: (2025)

Preprocessing is All You Need: Boosting the Performance of Log Parsers With a General Preprocessing Framework
by: Qin, Qiaolin, et al.
Published: (2024)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
by: Huisman, Marieke, et al.
Published: (2020)

CELI: Controller-Embedded Language Model Interactions
by: Wagner, Jan-Samuel, et al.
Published: (2024)

Mind the Metrics: Patterns for Telemetry-Aware In-IDE AI Application Development using the Model Context Protocol (MCP)
by: Koc, Vincent, et al.
Published: (2025)

Automated Code Generation and Validation for Software Components of Microcontrollers
by: Haug, Sebastian, et al.
Published: (2025)

Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis
by: Xu, Zhihao, et al.
Published: (2025)

Building Whitespace-Sensitive Languages Using Whitespace-Insensitive Components
by: Hellwig, Alexander, et al.
Published: (2025)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
by: Le, Tuan D, et al.
Published: (2025)

Methods for evaluating software accessibility
by: Kuz, Mykola, et al.
Published: (2025)

Autonomous QA Agent: A Retrieval-Augmented Framework for Reliable Selenium Script Generation
by: Vali, Dudekula Kasim
Published: (2025)

Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions
by: Marron, Assaf, et al.
Published: (2020)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
by: Alonso, Pepe, et al.
Published: (2026)

RSE of a Quantum Transport Code and its Effects
by: Conrads, Christoph, et al.
Published: (2026)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
by: Saberi, Iman, et al.
Published: (2023)

WARP -- Web-Augmented Real-time Program Repairer: A Real-Time Compilation Error Resolution using LLMs and Web-Augmented Synthesis
by: Luiz, Anderson de Lima
Published: (2025)

Securing the Dark Matter: A Semantic-Enhanced Neuro-Symbolic Framework for Supply Chain Analysis of Opaque Industrial Software
by: Ning, Bowei, et al.
Published: (2026)

The Meta-Prompting Protocol: Orchestrating LLMs via Adversarial Feedback Loops
by: Fu, Fanzhe
Published: (2025)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
by: Saberi, Iman, et al.
Published: (2023)

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
by: Zitouni, Mounira Nihad, et al.
Published: (2024)

Meta-autoencoders: An approach to discovery and representation of relationships between dynamically evolving classes
by: Marron, Assaf, et al.
Published: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
by: Yu, Hao, et al.
Published: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
by: Rumpe, Bernhard, et al.
Published: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
by: Helbling, Caleb, et al.
Published: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

A Judge Agent Closes the Reliability Gap in AI-Generated Scientific Simulation
by: Yang, Chengshuai
Published: (2026)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
by: Potanin, Alex
Published: (2026)

DeepSeek-V3, GPT-4, Phi-4, and LLaMA-3.3 generate correct code for LoRaWAN-related engineering tasks
by: Fernandes, Daniel, et al.
Published: (2025)