Combinatorial Testing for Deep Learning Systems
Towards Proving the Adversarial Robustness of Deep Neural Networks