Concolic testing for deep neural networks 论文

2018引用 329

Software Testing and Debugging TechniquesAdversarial Robustness in Machine LearningSoftware Reliability and Analysis Research

企业软件 Adversarial Robustness in Machine Learning Software Testing and Debugging Techniques Software Reliability and Analysis Research

相关技术:Adversarial Robustness in Machine Learning

Concolic testing for deep neural networks · 作者

Daniel Kroening

Marta Kwiatkowska

Xiaowei Huang

Wenjie Ruan

Youcheng Sun