引用人
卡拉卡亚K 博登E (2021) SootFX:Java和Android的静态代码特征提取工具 2021年IEEE第21届国际源代码分析与处理工作会议(SCAM) 10.1109/SCAM52516.2021.00030 (181-186) 在线发布日期:2021年9月 王杰 宋氏C 拉戈塔曼M 王C (2021) 有效声侧信道分析的数据驱动合成 第43届软件工程国际会议论文集 10.1109/ICSE43902.2021.00079 (810-822) 在线发布日期:2021年5月22日 曼苏尔M 玛丽亚诺B 克里斯塔基斯·M 纳瓦斯J Wüstholz V号 (2021) 根据自定义使用场景自动定制抽象解释 计算机辅助验证 10.1007/978-3-030-81688-9_36 (777-800) 在线发布日期:2021年7月20日