:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Su, Guoxin, Robinson, Thomas, Dam, Hoa Khanh, Liu, Li, Rosenblum, David S.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	https://arxiv.org/abs/2603.23113
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

An LLM-based multi-agent framework for agile effort estimation
di: Bui, Thanh-Long, et al.
Pubblicazione: (2025)

Interactive GDPR-Compliant Privacy Policy Generation for Software Applications
di: Sangaroonsilp, Pattaraporn, et al.
Pubblicazione: (2024)

Towards autonomous normative multi-agent systems for Human-AI software engineering teams
di: Dam, Hoa Khanh, et al.
Pubblicazione: (2025)

muPRL: A Mutation Testing Pipeline for Deep Reinforcement Learning based on Real Faults
di: Thomas, Deepak-George, et al.
Pubblicazione: (2024)

Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems
di: Tian, Haoxiang, et al.
Pubblicazione: (2025)

Real Faults in Deep Learning Fault Benchmarks: How Real Are They?
di: Jahangirova, Gunel, et al.
Pubblicazione: (2024)

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
di: Trinh, Hiep Hong, et al.
Pubblicazione: (2025)

Testing for Fault Diversity in Reinforcement Learning
di: Mazouni, Quentin, et al.
Pubblicazione: (2024)

Software Fault Localization Based on Multi-objective Feature Fusion and Deep Learning
di: Hu, Xiaolei, et al.
Pubblicazione: (2024)

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

Agentic Model Checking
di: Sun, Youcheng, et al.
Pubblicazione: (2026)

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

Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization
di: Assad, Michael, et al.
Pubblicazione: (2024)

Fault Localization in Deep Learning-based Software: A System-level Approach
di: Morovati, Mohammad Mehdi, et al.
Pubblicazione: (2024)

Real Faults in Model Context Protocol (MCP) Software: a Comprehensive Taxonomy
di: Taraghi, Mina, et al.
Pubblicazione: (2026)

Keeping Deep Learning Models in Check: A History-Based Approach to Mitigate Overfitting
di: Li, Hao, et al.
Pubblicazione: (2024)

Automated Detection of Inter-Language Design Smells in Multi-Language Deep Learning Frameworks
di: Li, Zengyang, et al.
Pubblicazione: (2024)

KARMA Approach supporting Development Process Reconstruction in Model-based Systems Engineering
di: Li, Jiawei, et al.
Pubblicazione: (2025)

Multi-Grained Specifications for Distributed System Model Checking and Verification
di: Ouyang, Lingzhi, et al.
Pubblicazione: (2024)

PAT-Agent: Autoformalization for Model Checking
di: Zuo, Xinyue, et al.
Pubblicazione: (2025)

Deep Reinforcement Learning for Automated Web GUI Testing
di: Gu, Zhiyu, et al.
Pubblicazione: (2025)

A Taxonomy of Real Faults in Hybrid Quantum-Classical Architectures
di: Bensoussan, Avner, et al.
Pubblicazione: (2025)

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

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

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
di: Harie, Yojiro, et al.
Pubblicazione: (2024)

Investigating Reproducibility in Deep Learning-Based Software Fault Prediction
di: Mukhtar, Adil, et al.
Pubblicazione: (2024)

FlexFL: Flexible and Effective Fault Localization with Open-Source Large Language Models
di: Xu, Chuyang, et al.
Pubblicazione: (2024)

Many-Objective Search-Based Coverage-Guided Automatic Test Generation for Deep Neural Networks
di: Li, Dongcheng, et al.
Pubblicazione: (2024)

LLM4Perf: Large Language Models Are Effective Samplers for Multi-Objective Performance Modeling
di: Wang, Xin, et al.
Pubblicazione: (2025)

Search Budget in Multi-Objective Refactoring Optimization: a Model-Based Empirical Study
di: Di Pompeo, Daniele, et al.
Pubblicazione: (2022)

Introducing Interactions in Multi-Objective Optimization of Software Architectures
di: Cortellessa, Vittorio, et al.
Pubblicazione: (2023)

Automating Business Intelligence Requirements with Generative AI and Semantic Search
di: Busany, Nimrod, et al.
Pubblicazione: (2024)

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
di: Ferrando, Angelo, et al.
Pubblicazione: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
di: Fang, Ruijie, et al.
Pubblicazione: (2025)

Object Oriented-Based Metrics to Predict Fault Proneness in Software Design
di: Mir, Areeb Ahmed, et al.
Pubblicazione: (2025)

A Case Study on Model Checking and Runtime Verification for Awkernel
di: Hasegawa, Akira, et al.
Pubblicazione: (2025)

Systematic API Testing Through Model Checking and Executable Contracts
di: Ribeiro, Ana, et al.
Pubblicazione: (2026)

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
di: Kräuter, Tim, et al.
Pubblicazione: (2024)

Model-Checking the Implementation of Consent
di: Pardo, Raúl, et al.
Pubblicazione: (2024)

PyTester: Deep Reinforcement Learning for Text-to-Testcase Generation
di: Takerngsaksiri, Wannita, et al.
Pubblicazione: (2024)