Bug Analysis of Android Applications Based on JPF.

Libin Wu Yahui Lu Jing Qi Shubin Cai Bo Deng Zhong Ming

Published in: SmartCom (2016)

Keyphrases

statistical analysis
image analysis
genetic algorithm
evolutionary algorithm
real time
real world
multi agent
cooperative
source code
software systems
quantitative analysis