Login / Signup
CRAXDroid: Automatic Android System Testing by Selective Symbolic Execution.
Chao-Chun Yeh
Han-Lin Lu
Chun-Yen Chen
Kee Kiat Khor
Shih-Kun Huang
Published in:
SERE (Companion) (2014)
Keyphrases
</>
symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
test cases
simulated annealing algorithm
neural network
formal specification
software testing
open source
programming language
mobile devices
search algorithm
case study