上一页 1 ··· 14 15 16 17 18 19 20 21 22 ··· 79 下一页
2022年6月2日
Proj CMI Paper Reading: FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases
摘要： Abstract 能够精确测量每个测试⽤例在添加到⽤于 (Fault Localisation)FL 的test Suite时可以引⼊多少诊断能力⾮常有⽤。这还可以有效地增加那些太弱⽽⽆法与 FL 技术⼀起使⽤的test Suite to effectively augment test suite 阅读全文
posted @ 2022-06-02 00:32 雪溯 阅读(48) 评论(0) 推荐(0) 编辑
Proj CMI Paper Reading: Expanding the Reach of Fuzz Testing
摘要： Abstract 本⽂提出了反馈导向模糊测试的⼴义概念，可⽤于⾃动发现不同类型的错误，包括算法复杂性错误、极端内存分配以及针对最近修改的代码。 本论⽂探讨了结构良好的突变是如何使突变模糊器能够探索更深层次的程序状态并发现解析器之外的错误的关键。how well-structured mutation 阅读全文
posted @ 2022-06-02 00:24 雪溯 阅读(27) 评论(0) 推荐(0) 编辑
Proj CMI Paper Reading: Developing Trustworthy Hardware with Security-Driven Design and Verification
摘要： Abstract 背景：1. 集成电路可能需要为了特定程序优化 2. 由于集成电路比较复杂，寄存器传输级Register-Transfer Level (RTL)设计的外包更为常见 we must trust our ICs have been designed and fabricated to 阅读全文
posted @ 2022-06-02 00:02 雪溯 阅读(24) 评论(0) 推荐(0) 编辑
2022年6月1日
Proj CMI Paper Reading: Detect Vulnerabilities Utilizing Fuzzing
摘要： Abstract 任务：synthesize benchmarks of fuzzing, accelerate fuzzing speed, reduce memory consumption in fuzzing, power scheduling of greybox fuzzing 阅读全文
posted @ 2022-06-01 23:48 雪溯 阅读(21) 评论(0) 推荐(0) 编辑
Proj CMI Paper Reading: Defect Prediction Guided Search-Based Software Testing
摘要： Abstract 方法：guide the SBST with the estimated degree of defectiveness of the source code 以源代码的估计为指导，具体来说就是Schwa这种缺陷预测技术 基于EvoSuite 实验: 数据集：Defects4J 效 阅读全文
posted @ 2022-06-01 23:34 雪溯 阅读(30) 评论(0) 推荐(0) 编辑
Proj CMI Paper Reading: CUT: Automatic Unit Testing in the Cloud
摘要： Abstract 背景：为单元测试⼿动设置分布式执行环境并配置测试框架以有效使⽤它们很⿇烦，并且需要开发⼈员可能缺乏的专业知识 本文：CUT，⼀种⽤于在分布式执行环境中⾃动执行单元测试的⼯具。 特点： CUT 分配适当的计算资源 开发⼈员⽆需更改现有的单元测试代码，可以轻松控制测试执行各方面，包括资 阅读全文
posted @ 2022-06-01 11:45 雪溯 阅读(18) 评论(0) 推荐(0) 编辑
Proj CMI Paper Reading: CoREBench: Studying Complexity of Regression Errors
摘要： Abstract 背景：不同错误复杂度不同 本文定义并定量了错误复杂度Cyclomatic Change Complexity CoREBench，一个从开源C项目种提取出的包含70个回归错误的数据集 与SIR和the Siemens Suite中的seeded errors进行对比，发现真实的回归 阅读全文
posted @ 2022-06-01 11:28 雪溯 阅读(16) 评论(0) 推荐(0) 编辑
Proj CMI Paper Reading: Control-Flow Integrity: Precision, Security, and Performance
摘要： Abstract 背景：Control-flow hijacking控制流劫持攻击利⽤内存损坏漏洞->基于Control-Flow Integrity(CFI)的防御 本文： 系统比较各种CFI机制，包括 使⽤统⼀命名法⽐较了⼴泛的 CFI 机制，进行了以下比较： 概念安全保证的定性讨论(a qua 阅读全文
posted @ 2022-06-01 11:17 雪溯 阅读(37) 评论(0) 推荐(0) 编辑
Proj CMI Paper Reading: Boosting Fuzzer Efficiency: An Information Theoretic Perspective
摘要： Abstract 本文：Entropic 方法：灰盒模糊测试 特点：引入最大熵来power schedule 实验： 合并入LibFuzzer，能够在超过25000台机器上不间断实时运行 在多达250个开源项目上都有较大的收益 阅读全文
posted @ 2022-06-01 11:04 雪溯 阅读(76) 评论(0) 推荐(0) 编辑
Proj CMI Paper Reading: BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing
摘要： Abstract 本文认为除了分支覆盖率还应考虑执行分⽀的分布（即均匀性）。也就是说，只有当⽣成的输⼊不仅触发了许多不同的分⽀，⽽且还经常通过不同的输⼊均匀地触发它们时，才会给出行为多样性。 本文： BeDivFuzz，生成式，语法，结构突变 特点：考虑并偏向分支均匀性 效果： 测试集：Ant、Ma 阅读全文
posted @ 2022-06-01 10:57 雪溯 阅读(44) 评论(0) 推荐(0) 编辑
上一页 1 ··· 14 15 16 17 18 19 20 21 22 ··· 79 下一页