Requirements-Driven Logic Testing for Deep Neural Networks | IEEE Conference Publication | IEEE Xplore