Causality-Aided Falsification
Abstract
Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce the idea of causality aid in falsification: by providing a falsification solver -- that relies on stochastic optimization of a certain cost function -- with suitable causal information expressed by a Bayesian network, search for a falsifying input value can be efficient. Our experiment results show the idea's viability.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2017
- DOI:
- 10.48550/arXiv.1709.02555
- arXiv:
- arXiv:1709.02555
- Bibcode:
- 2017arXiv170902555A
- Keywords:
-
- Computer Science - Systems and Control;
- Computer Science - Artificial Intelligence;
- Computer Science - Machine Learning;
- Computer Science - Logic in Computer Science
- E-Print:
- In Proceedings FVAV 2017, arXiv:1709.02126