深度神经网络的符号执行测试
机器学习
2018-08-07 v2 软件工程
机器学习
摘要
符号执行测试结合程序执行与符号分析来探索软件程序的执行路径。本文提出首个面向深度神经网络（DNNs）的符号执行测试方法。更具体地，我们形式化了文献中研究的 DNN 覆盖准则，进而开发了一种连贯的符号执行测试方法以提升测试覆盖率。实验结果表明，该符号执行测试方法在达成高覆盖率和发现对抗样本方面均有效。
引用
@article{arxiv.1805.00089,
title = {Concolic Testing for Deep Neural Networks},
author = {Youcheng Sun and Min Wu and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska and Daniel Kroening},
journal= {arXiv preprint arXiv:1805.00089},
year = {2018}
}