Concolic testing for deep neural networks

Short summary

A novel concolic testing approach, combining execution and symbolic analysis, achieves high coverage and finds adversarial examples in Deep Neural Networks (DNNs).

AI-generated from the title and abstract; the full text is not read.