1 citations · 2 across the 3 of their papers we have counts for
4 papers
Evolutionary Conflict Checking
Tao Ji, Liqian Chen, Xiaoguang Mao +2
During the software evolution, existing features may be adversely affected by new changes, which is well known as regression errors. Maintaining a high-quality test suite is helpfu…
Automated Regression Unit Test Generation for Program Merges
Tao Ji, Liqian Chen, Xiaoguang Mao +2
Merging other branches into the current working branch is common in collaborative software development. However, developers still heavily rely on the textual merge tools to handle…
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…
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…