Login / Signup
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.
Kristopher K. Micinski
Jonathan Fetter-Degges
Jinseong Jeon
Jeffrey S. Foster
Michael R. Clarkson
Published in:
CoRR (2015)
Keyphrases
</>
symbolic execution
test generation
static analysis
test data generation
source code
specification language
data flow
mobile devices
orders of magnitude
data sets
general purpose
open source
mobile applications