Exposing Previously Undetectable Faults in Deep Neural Networks
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults
Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella
Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search (Experience Paper)
Fitash Ul Haq, Donghwan Shin, Lionel Briand, Thomas Stifter, Jun Wang
Efficient White-box Fairness Testing through Gradient Search
Lingfeng Zhang, Yueling Zhang, Min Zhang
Attack as Defense: Characterizing Adversarial Examples using Robustness
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Zixi Liu, Yang Feng, Zhenyu Chen
Exposing Previously Undetectable Faults in Deep Neural Networks
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
Model-Based Testing of Networked Applications
Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection
Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, Yunxin Liu
Predoo: Precision Testing of Deep Learning Operators
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, Zhenyu Chen
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic
Exposing Previously Undetectable Faults in Deep Neural Networks Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella
Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search (Experience Paper) Fitash Ul Haq, Donghwan Shin, Lionel Briand, Thomas Stifter, Jun Wang
Efficient White-box Fairness Testing through Gradient Search Lingfeng Zhang, Yueling Zhang, Min Zhang
Attack as Defense: Characterizing Adversarial Examples using Robustness Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems Zixi Liu, Yang Feng, Zhenyu Chen
Exposing Previously Undetectable Faults in Deep Neural Networks Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
Model-Based Testing of Networked Applications Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, Yunxin Liu
Predoo: Precision Testing of Deep Learning Operators Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, Zhenyu Chen
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic