Sen Yang Song Huang Zhanwei Hui Theoretical Analysis and Empirical Evaluation of Coverage Indictors for Closed Source APP Testing. 162323-162332 2019 7 IEEE Access https://doi.org/10.1109/ACCESS.2019.2951941 db/journals/access/access7.html#YangHH19