55 citations · 66 across the 6 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.SE2020
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…
cs.SE2020★ 1 cited
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…
cs.LG2020★ 9 cited
Input Validation for Neural Networks via Runtime Local Robustness Verification
Jiangchao Liu, Liqian Chen, Antoine Mine +1
Local robustness verification can verify that a neural network is robust wrt. any perturbation to a specific input within a certain distance. We call this distance Robustness Radiu…