摘要：
Abstract 背景： 对比之下，抽样系统而带有成本，随机测试不系统不承担分析成本 本文： 任务：探究系统测试与随机测试的理论效率 方法： 对最有效的系统测试技术S0进行数学建模，其中每个采样测试输⼊都严格增加“置信度”并受分析成本 c 的影响。存在⼀个最⼤分析成本，超过该成本 R（？？？）通常⽐ 阅读全文
摘要：
Abstract 背景： 发布/订阅模型在物联网 (IoT) 网络中获得了突出地位，消息队列遥测传输 (Message Queue Telemetry Transport, MQTT) 和约束应用协议 (Constrained Application Protocol, CoAP) 都支持它。 现有 阅读全文
摘要：
Abstract 背景： fuzz协议的挑战在于协议消息如何变异和如何与协议的具体实现做深度的交互 本文： 任务：基于模型的灰盒fuzz，服务器+客户端 方法：基于最少限度教师（Minimally adequate teacher, MAT）学习自动机+coverage guided greybox 阅读全文
摘要：
Abstract 背景： Web技术便利了软件发布和更新，但也要求持续测试 (Having insight into application behavior through explicit models)用显式模型（？）来深入了解应用程序的行为。例如使用状态和状态转换来创建测试。 描述这种状态行 阅读全文
摘要：
Abstract 本文： 工具：BOXMATE 技术：sandbox mining 任务：限定自动化测试期间访问的资源 方法： 通过⾃动测试⽣成来探索软件行为，并提取在这些测试期间访问的资源集。 将该集合⽤作沙箱，阻⽌对测试期间未使⽤的资源的访问。因此，挖掘的沙箱可以防⽌行为变化，例如激活潜在恶意软 阅读全文
摘要：
Abstract 背景： 前提：使用某个进程的客户必须要先设置状态，而描述需要做到的状态就是preconditions。A procedure’s client must satisfy its precondition— that is, reach a state in which the pr 阅读全文
摘要：
Abstract 研究： 任务：What is it that makes software fail? 数据集：post-release defect history of five Microsoft software systems 结论：容易发⽣故障的软件在统计上与代码复杂性度量相关 前提： 阅读全文