:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Su, Guoxin, Robinson, Thomas, Dam, Hoa Khanh, Liu, Li, Rosenblum, David S.
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2603.23113
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

Agentic Model Checking
by: Sun, Youcheng, et al.
Published: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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