1.3k citations · 2.7k across the 38 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2020★ 45 cited
MTFuzz: Fuzzing with a Multi-Task Neural Network
Dongdong She, Rahul Krishna, Lu Yan +2
Fuzzing is a widely used technique for detecting software bugs and vulnerabilities. Most popular fuzzers generate new inputs using an evolutionary search to maximize code coverage.…
cs.SE2020★ 1 cited
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)
Jianan Yao, Gabriel Ryan, Justin Wong +2
Verifying real-world programs often requires inferring loop invariants with nonlinear constraints. This is especially true in programs that perform many numerical operations, such…
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…