Abstract:With software systems becoming increasingly pervasive and autonomous, our ability to test for their quality is severely challenged. Many systems are called to operate in uncertain and highly-changing environment, not rarely required to make intelligent decisions by themselves. This easily results in an intractable state space to explore at testing time. The state-of-the-art techniques try to keep the pace, e.g., by augmenting the tester's intuition with some form of (explicit or implicit) learning from observations to search this space efficiently. For instance, they exploit historical data to drive the search (e.g., ML-driven testing) or the tests execution data itself (e.g., adaptive or search-based testing). Despite the indubitable advances, the need for smartening the search in such a huge space keeps to be pressing. We introduce Reasoning-Based Software Testing (RBST), a new way of thinking at the testing problem as a causal reasoning task. Compared to mere intuition-based or state-of-the-art learning-based strategies, we claim that causal reasoning more naturally emulates the process that a human would do to ''smartly" search the space. RBST aims to mimic and amplify, with the power of computation, this ability. The conceptual leap can pave the ground to a new trend of techniques, which can be variously instantiated from the proposed framework, by exploiting the numerous tools for causal discovery and inference. Preliminary results reported in this paper are promising.

Case-based Reasoning for Cheat Risks Diagnosis

Diagnosis on the Application of Rough Set Theory in Cheat Risks

Case-based Intelligent Process Planning System

Cheating Detection Method Based On Improved Cognitive Diagnosis Model

Case-Based Reasoning for Intrusion Detection Correlation Analysis

Research on Multiple Faults Diagnosis Method Based on Case Reasoning

Hybrid Reasoning Framework Integrating of Rule-Based and Case-Based Reasoning

Research and implementation of a multi-fault diagnosis method based on case-based reasoning

A Data-driven Explainable Case-based Reasoning Approach for Financial Risk Detection

Case-Based Reasoning for Assisting Domain Experts in Processing Fraud Alerts of Black-Box Machine Learning Models

THE RESEARCH OF CBR IN DIAGNOSIS SUPPORT SYSTEM

Reasoning-Based Software Testing

XAI-Driven Explainable Multi-view Game Cheating Detection

A Method Based on the Rough Neural Network for Analysing Deception Risks

Explainable AI for Cheating Detection and Churn Prediction in Online Games

Research for CBR in Knowledge Management System

Case-Based Reasoning Approach for Solving Financial Question Answering

Bayesian Patchworks: An Approach to Case-Based Reasoning

An Open Case-based Reasoning Framework for Personalized On-board Driving Assistance in Risk Scenarios

A Multi-index Examination Cheating Detection Method Based on Neural Network

Case learning for CBR-based collision avoidance systems