搜索结果: 1-1 共查到“计算机科学技术基础学科 App”相关记录1条 . 查询时间(0.078 秒)
An Interactive Approach to Mobile App Verification
abductive inference specifications from tests
2016/5/24
Static explicit information flow analysis can help human auditors find malware. We propose a process for eliminating false positive flows due to imprecision in the reachability analysis: the developer...