Android testing via synthetic symbolic execution.

Xiang Gao Shin Hwei Tan Zhen Dong Abhik Roychoudhury

Published in: ASE (2018)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
test cases
real world
mobile devices
software testing
quality assurance
case study
open source
building blocks
formal specification