11 citations · 21 across the 9 of their papers we have counts for
4 papers · 1 filter
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model
Xiangzhe Xu, Zhou Xuan, Shiwei Feng +7
Binary similarity analysis determines if two binary executables are from the same source program. Existing techniques leverage static and dynamic program features and may utilize a…
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…
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…
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…