212 citations · 810 across the 54 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 1 cited
Interpreted Formalisms for Configurations
Chong Tang, Kevin Sullivan, Jian Xiang +2
Imprecise and incomplete specification of system \textit{configurations} threatens safety, security, functionality, and other critical system properties and uselessly enlarges the…
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…