Copertina

Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Harel, David, Marron, Assaf
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

On Augmenting Scenario-Based Modeling with Generative AI
di: Harel, David, et al.
Pubblicazione: (2024)

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

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

A New Generation of Intelligent Development Environments
di: Marron, Mark
Pubblicazione: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
di: Marron, Mark
Pubblicazione: (2024)

When Are Reactive Notebooks Not Reactive?
di: Zheng, Megan, et al.
Pubblicazione: (2025)

Signal-First Architectures: Rethinking Front-End Reactivity
di: Balasubramanian, Shrinivass Arunachalam
Pubblicazione: (2025)

Reactive Bottom-Up Testing
di: Muralee, Siddharth, et al.
Pubblicazione: (2025)

An Effectively $Ω(c)$ Language and Runtime
di: Marron, Mark
Pubblicazione: (2024)

GenDetect: Generalizing Reactive Detection for Resilience Against Imitative DeFi Attack Cascade
di: Cai, Bowen, et al.
Pubblicazione: (2026)

Beyond Pass or Fail: Multi-Dimensional Benchmarking of Foundation Models for Goal-based Mobile UI Navigation
di: Ran, Dezhi, et al.
Pubblicazione: (2025)

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
di: Ishii, Daisuke
Pubblicazione: (2024)

Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems
di: Sanabria, Mateo, et al.
Pubblicazione: (2024)

Early Career Developers' Perceptions of Code Understandability. A Study of Complexity Metrics
di: Esposito, Matteo, et al.
Pubblicazione: (2023)

Toward an Agentic Infused Software Ecosystem
di: Marron, Mark
Pubblicazione: (2026)

Catalpa: GC for a Low-Variance Software Stack
di: Arnold, Anthony, et al.
Pubblicazione: (2025)

A Systematic Study of Time Limit Exceeded Errors in Online Programming Assignments
di: Zhang, Jialu, et al.
Pubblicazione: (2025)

Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability
di: Huang, Dong, et al.
Pubblicazione: (2024)

Runtime Instrumentation for Reactive Components (Extended Version)
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Understanding and Detecting Annotation-Induced Faults of Static Analyzers
di: Zhang, Huaien, et al.
Pubblicazione: (2024)

Preparing Students for AI-Driven Agile Development: A Project-Based AI Engineering Curriculum
di: Rausch, Andreas, et al.
Pubblicazione: (2026)

Expanding the Classical V-Model for the Development of Complex Systems Incorporating AI
di: Ullrich, Lars, et al.
Pubblicazione: (2025)

BOSQTGEN: Breaking the Sound Barrier in Test Generation
di: Asif, S M Sadrul Islam, et al.
Pubblicazione: (2025)

Backdoors in Code Summarizers: How Bad Is It?
di: Wang, Chenyu, et al.
Pubblicazione: (2025)

Taming System Complexity: Demystifying Software Engineering Agents in Diagnosing Linux Kernel Faults
di: Zhou, Zhenhao, et al.
Pubblicazione: (2025)

Fault Localisation and Repair for DL Systems: An Empirical Study with LLMs
di: Kim, Jinhan, et al.
Pubblicazione: (2025)

Fault-Tolerant Design and Multi-Objective Model Checking for Real-Time Deep Reinforcement Learning Systems
di: Su, Guoxin, et al.
Pubblicazione: (2026)

Reactive Semantics for User Interface Description Languages
di: Pesin, Basile, et al.
Pubblicazione: (2025)

Studying the Impact of Early Test Termination Due to Assertion Failure on Code Coverage and Spectrum-based Fault Localization
di: Uddin, Md. Ashraf, et al.
Pubblicazione: (2025)

Improved Detection and Diagnosis of Faults in Deep Neural Networks Using Hierarchical and Explainable Classification
di: Jahan, Sigma, et al.
Pubblicazione: (2025)

GenFair: Systematic Test Generation for Fairness Fault Detection in Large Language Models
di: Srinivasan, Madhusudan, et al.
Pubblicazione: (2025)

Neural Fault Injection: Generating Software Faults from Natural Language
di: Cotroneo, Domenico, et al.
Pubblicazione: (2024)

SBEST: Spectrum-Based Fault Localization Without Fault-Triggering Tests
di: Rafi, Md Nakhla, et al.
Pubblicazione: (2024)

Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation
di: Berg, Lucas, et al.
Pubblicazione: (2026)

The Multi-Agent Fault Localization System Based on Monte Carlo Tree Search Approach
di: Ren, Rui
Pubblicazione: (2025)

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis
di: Guo, Xiujing, et al.
Pubblicazione: (2025)

FastFI: Enhancing API Call-Site Robustness in Microservice-Based Systems with Fault Injection
di: Tan, Yuzhen, et al.
Pubblicazione: (2026)

LLMs-Powered Real-Time Fault Injection: An Approach Toward Intelligent Fault Test Cases Generation
di: Abboush, Mohammad, et al.
Pubblicazione: (2025)

Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models
di: Yaraghi, Ahmadreza Saboor, et al.
Pubblicazione: (2025)