摘要：
Abstract 背景： 一些问题：fuzzer提供了哪些无bug的保证？什么时候可以安全地停⽌？fuzzer应该运行多⻓时间才能达到⾜够的覆盖 本文建立通用框架讨论 评估剩余风险 成本效益权衡 阅读全文
摘要：
Abstract 背景：例如，上传照片时，app可能已经将地址信息泄露给云服务商 任务：android app静态UI代码分析框架 本文：BACKSTAGE 方法：将UI元素与调用联系起来，分析actions和敏感API 阅读全文
摘要：
Abstract 背景： Pool-based active learning (AL)目的在于优化注释过程 问题：人工注释者可能会有注释错误或者疲劳，可能不愿意响应 为此，提出的新主动学习AL策略有以下特点之一 对人工注释进行建模，考虑专家不在场的情况 generalization of the 阅读全文
摘要：
Abstract 本文将Human-in-the-loop在机器学习领域已有的工作分类为 数据处理 the work of improving model performance from data processing 干涉模型 through interventional model train 阅读全文
摘要：
Abstract 前提： 目标 1. 在最短的时间内达到对程序正确性的给定程度的置信度x 2. 在给定的时间范围内发现最⼤数量的错误 本文： study the relative efficiencies of the random and systematic approaches to auto 阅读全文