Concolic testing for deep neural networks

Made neural networks more robust to adversarial attacks and increased their neuron activation coverage resulting in more comprehensive testing on popular toy datasets MNIST, Fashion-MNIST and Cifar10.

Project report

This project was an implementation of Concolic Testing for Deep Neural Networks.