Cover Image

Detecting and Preventing Latent Risk Accumulation in High-Performance Software Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Arafat, Jahidul, Moniruzzaman, Kh. M., Hossain, Shamim, Tasmin, Fariha
Format:	Preprint
Published:	2025
Subjects:	Software Engineering 68M15, 90B25, 68T05, 90C29 C.4; C.2.4; D.2.5; D.4.5
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Next-Generation Event-Driven Architectures: Performance, Scalability, and Intelligent Orchestration Across Messaging Frameworks
by: Arafat, Jahidul, et al.
Published: (2025)

Scalable Distributed Optimization of Multi-Dimensional Functions Despite Byzantine Adversaries
by: Kuwaranancharoen, Kananart, et al.
Published: (2024)

Implementation and Evaluation of Fast Raft for Hierarchical Consensus
by: Melnychuk, Anton, et al.
Published: (2025)

Trace Validation of Unmodified Concurrent Systems with OmniLink
by: Hackett, Finn, et al.
Published: (2026)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
by: Liyanage, Danushka, et al.
Published: (2025)

Accelerated Training of Federated Learning via Second-Order Methods
by: Sen, Mrinmay, et al.
Published: (2025)

SDVDiag: Using Context-Aware Causality Mining for the Diagnosis of Connected Vehicle Functions
by: Weiß, Matthias, et al.
Published: (2026)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
by: Sharmin, Shaila, et al.
Published: (2025)

Byzantine-Resilient Distributed Optimization of Multi-Dimensional Functions
by: Kuwaranancharoen, Kananart, et al.
Published: (2020)

Robustness, Cost, and Attack-Surface Concentration in Phishing Detection
by: Allagan, Julian, et al.
Published: (2026)

Software Testing at the Network Layer: Automated HTTP API Quality Assessment and Security Analysis of Production Web Applications
by: Mughal, Ali Hassaan, et al.
Published: (2026)

Edge-Cloud Continuum Orchestration of Critical Services: A Smart-City Approach
by: Rosmaninho, Rodrigo, et al.
Published: (2024)

pFedSOP : Accelerating Training Of Personalized Federated Learning Using Second-Order Optimization
by: Sen, Mrinmay, et al.
Published: (2025)

Framework Matters: Energy Efficiency of UI Automation Testing Frameworks
by: Lagermann, Timmie M. R., et al.
Published: (2025)

A Systematic Review of Digital Twin-Driven Predictive Maintenance in Industrial Engineering: Taxonomy, Architectural Elements, and Future Research Directions
by: Ismail, Leila, et al.
Published: (2025)

LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
by: Lyu, Ce, et al.
Published: (2025)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
by: Yoon, Gangho, et al.
Published: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
by: Yu, Boxi, et al.
Published: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
by: Braione, Pietro, et al.
Published: (2026)

FedDAF: Federated Domain Adaptation Using Model Functional Distance
by: Sen, Mrinmay, et al.
Published: (2025)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
by: Li, Meng, et al.
Published: (2026)

IoTEdu: Access Control, Detection, and Automatic Incident Response in Academic IoT Networks
by: Assolin, Joner, et al.
Published: (2025)

ReliabilityBench: Evaluating LLM Agent Reliability Under Production-Like Stress Conditions
by: Gupta, Aayush
Published: (2026)

An Empirical Evaluation of Quantum-Inspired QUBO Methods for Heterogeneous HPC Workflow Mapping and Scheduling
by: Sharma, Aasish Kumar, et al.
Published: (2026)

Language-Based Protocol Testing
by: Liggesmeyer, Alexander, et al.
Published: (2025)

The OCON model: an old but green solution for distributable supervised classification for acoustic monitoring in smart cities
by: Giacomelli, Stefano, et al.
Published: (2024)

On the Geometric Convergence of Byzantine-Resilient Distributed Optimization Algorithms
by: Kuwaranancharoen, Kananart, et al.
Published: (2023)

CUJBench: Benchmarking LLM-Agent on Cross-Modal Failure Diagnosis from Browser to Backend
by: Meng, Haoming
Published: (2026)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
by: Cunha, Alcino, et al.
Published: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
by: Licorish, Sherlock A., et al.
Published: (2025)

Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt Engineering Quality Assurance
by: Calboreanu, Elias
Published: (2026)

Evaluating Cryptographic API Misuse Detectors for Go
by: Andersson, Vivi, et al.
Published: (2026)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
by: Lucio, Levi
Published: (2026)

BALLAST: Bandit-Assisted Learning for Latency-Aware Stable Timeouts in Raft
by: Wang, Qizhi
Published: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
by: Zietsman, Christo
Published: (2026)

Stress-Testing Neural Network Verifiers with Provably Robust Instances
by: Troxell, David, et al.
Published: (2026)

Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance
by: Antunes, Diogo S., et al.
Published: (2024)

Understanding and Reusing Test Suites Across Database Systems
by: Zhong, Suyang, et al.
Published: (2024)