Search Results - "Theory of computation Logic Logic and verification"

Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis by Wang, Zan, You, Hanmo, Chen, Junjie, Zhang, Yingyi, Dong, Xuyuan, Zhang, Wenbin

“…Deep Neural Network (DNN) testing is one of the most widely-used ways to guarantee the quality of DNNs. However, labeling test inputs to check the correctness…”
Get full text