摘要：
Abstract 问题： What are the respective benefits for symbolic execution of generating IR from source code versus lifting machine code? Does the distincti 阅读全文
摘要：
Abstract 对象：C programs 基于: Bounded Model Checking + Evolutionary Fuzzing engines BMC能通过需要复杂计算的条件， 效果：在Test-Comp的每个分类下都赢了奖 阅读全文
摘要：
Abstract 本文： 任务：seed generation 方法：GAN 优点： 只需十几秒就能生成足量高效种子 能生成若干input formats 能兼容多种工具 基于：AFL 实验： 对象：12 open-source applications with the input formats 阅读全文
摘要：
Github https://github.com/AftabHussain/afl-test-viz Abstract 目的：可视化字节级突变 1. Intro 2. Related Work 3. Tool Architecture 阅读全文
摘要：
Abstract 背景：基于 IDE 的测试可视化工具通常很少提供全局概览，而全局概览可以为测试用例执行方法提供更大的上下文； 本文：MORPHEUS 方法：a series of interactive functions to sort, filter, query, and explore a 阅读全文
摘要：
Abstract 背景：可视化代码质量控制和代码依赖的工作还比较少 本文：可视化基于组件的JS React应用程序的依赖和代码质量指标 node-link diagram来可视化依赖 different panels 实验： user study with 4 参与者 阅读全文