Requirements-Driven Logic Testing for Deep Neural Networks.

Yuqi Hang, Chen Liu, Lifa Hu, Xinyi Gao

Browse the full QRS paper archive.