1.3k citations · 2.1k across the 28 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.CR2017★ 70 cited
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems
Kexin Pei, Linjie Zhu, Yinzhi Cao +3
Due to the increasing usage of machine learning (ML) techniques in security- and safety-critical domains, such as autonomous systems and medical diagnosis, ensuring correct behavio…
cs.SE2017★ 212 cited
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
Yuchi Tian, Kexin Pei, Suman Jana +1
Recent advances in Deep Neural Networks (DNNs) have led to the development of DNN-driven autonomous cars that, using sensors like camera, LiDAR, etc., can drive without any human i…
cs.LG2017★ 1.3k cited
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
Kexin Pei, Yinzhi Cao, Junfeng Yang +1
Deep learning (DL) systems are increasingly deployed in safety- and security-critical domains including self-driving cars and malware detection, where the correctness and predictab…