Neural-augmented static analysis of Android communication.

Jinman Zhao Aws Albarghouthi Vaibhav Rastogi Somesh Jha Damien Octeau

Published in: ESEC/SIGSOFT FSE (2018)

Keyphrases

data sets
static analysis
dynamic analysis
source code
network architecture
symbolic execution
regular expressions
java card
test generation
abstract interpretation
neural network
mobile devices
real world
open source
error rate
database
test suite
feature space
test case generation
api calls