DeCaF combines counterfactual generators and causal models to identify minimal input signal changes that fix CPS failures and derives interpretable assertions that generalize the recovery conditions.
Luke,Essentials of Metaheuristics, 2nd ed
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2verdicts
UNVERDICTED 2representative citing papers
CoCoMagic applies constrained cooperative co-evolution to metamorphic and differential testing to find up to 287% more distinct behavioral divergences in an end-to-end ADS than baseline search methods.
citing papers explorer
-
Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
DeCaF combines counterfactual generators and causal models to identify minimal input signal changes that fix CPS failures and derives interpretable assertions that generalize the recovery conditions.
-
Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach
CoCoMagic applies constrained cooperative co-evolution to metamorphic and differential testing to find up to 287% more distinct behavioral divergences in an end-to-end ADS than baseline search methods.