11 citations · 21 across the 9 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.SE2019★ 1 cited
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Qingkai Shi, Rongxin Wu, Gang Fan +1
With an increasing number of value-flow properties to check, existing static program analysis still tends to have scalability issues when high precision is required. We observe tha…
cs.SE2019★ 3 cited
NeuralVis: Visualizing and Interpreting Deep Learning Models
Xufan Zhang, Ziyue Yin, Yang Feng +3
Deep Neural Network(DNN) techniques have been prevalent in software engineering. They are employed to faciliatate various software engineering tasks and embedded into many software…
cs.SE2019★ 11 cited
DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks
Yang Feng, Qingkai Shi, Xinyu Gao +3
Deep neural networks (DNN) have been deployed in many software systems to assist in various classification tasks. In company with the fantastic effectiveness in classification, DNN…