摘要：
Abstract Motivation “Compilers should be correct.” Motivating Example-未定义行为 int foo(){signed char x = 1; unsigned char y = 255; return x < y;} 该函数在ubu 阅读全文
摘要：
Abstract 背景： 验证随机系统在达到平衡时是否处于某种状态具有重要的应⽤。例如，对安全关键系统的⻓期行为进行概率验证，使评估⼈员能够随时检查它是否以⾜够⾼的概率接受⼈⼯中⽌命令。 现有的概率验证器并未考虑模型中概率参数的不精确性 本文： 提出了概率验证技术 解释了随机系统⻓期属性验证的不稳定 阅读全文
摘要：
Abstract 背景： 云计算产品的核心组件是虚拟机管理程序，也称为虚拟机监视器（VMM），可以在⼀台主机上隔离多个虚拟机 破坏虚拟机管理程序可能会导致虚拟机逃逸和特权提升，从⽽使攻击者能够获得在主机中执行代码的权限 虚拟设备向来宾⽤⼾公开了许多⽤于通信的接⼝，这使得虚拟设备成为管理程序中最脆弱的 阅读全文
摘要：
Abstract 背景： 基于搜索的测试已成功应⽤于为图形⽤⼾界⾯ (GUI) ⽣成复杂的事件序列 但目前基于搜索的测试仍然只能通过简单的启发式或者随机值生成小部件，对于期望⽤⼾在其 GUI 中输⼊特定输⼊值的应⽤测试效率不高 本文： 工具：EXSYST （拓展） 任务：动态符号执行+GUI测试事件 阅读全文
摘要：
Abstract 本文：为有语义错误的程序⽣成⾃动化测试Oracle 阅读全文
摘要：
Abstract 背景： 哪些是使用人类进行科学和技术活动的设计的基础；并且这种经验是以高成本获得的，不适用于目前正在研究的系统。 假设： 人类在太空中没有独特的用途，没有绝对需要人类才能成功完成的太空目标。 本文 任务：讨论人工的权衡，集中于人工使用的标准和大范围的工时成本。 结果： 人类在太空中 阅读全文
摘要：
Abstract 背景： Android 测试⼯具会⽣成输⼊事件序列来运行被测应⽤的状态空间。 对事件序列突变，原先序列所对应的app状态可能无法被突变序列访问到，相当于被截断了 本文： 工具：TimeMachine 基于Monkey 任务：进化一组状态，states which can be ca 阅读全文
摘要：
https://hal.archives-ouvertes.fr/hal-01956501/document 阅读全文
摘要：
Abstract 背景： 开发人员常以⼩批量的⾼频率更新，使得使⽤有效的测试⽅法在有限的测试时间内检测错误变得⾄关重要。 虽然先前的⼯作改进了 DGF 的⼏个⽅⾯（例如功率调度、输⼊优先级和⽬标选择），但很少关注改进种⼦选择过程。 本文： 任务：为 DGF ⼯具提供⾯向⽬标的种⼦语料库，称为DART 阅读全文
摘要：
Abstract 背景： 细粒度的覆盖指标可以让模糊器检测到传统边缘覆盖⽆法覆盖的错误 现有算法⽆法有效地调度种子 本文： 工具：AFL++-HIER 方法： 多级覆盖度量 基于强化学习的分层调度 实验： 数据集：DARPA CGC 效果： 明显优于AFL和AFLFAST ：它可以检测到 20% 以 阅读全文