55 citations · 66 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019★ 1 cited
How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques
Shangwen Wang, Ming Wen, Liqian Chen +2
Background: Over the years, Automated Program Repair (APR) has attracted much attention from both academia and industry since it can reduce the costs in fixing bugs. However, how t…
cs.LG2019★ 55 cited
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Jianlin Li, Pengfei Yang, Jiangchao Liu +3
Deep neural networks (DNNs) have been shown lack of robustness for the vulnerability of their classification to small perturbations on the inputs. This has led to safety concerns o…