雪溯

摘要： Abstract 针对Logic bugs，本文提出： Query Partitioning 思路：从给定的原始query开始，构造更多复杂的queries，这些queries合起来的结果集与原来的结果集一致 作者认为由于逻辑复杂了，更有可能找到逻辑bug 提出TLP: Ternary Logic 阅读全文

摘要： Abstract 复杂的数据库优化往往会导致逻辑bugs 本文提出NoREC（构造不优化的参照引擎）算法 主要方法: 将query返回值与不加优化的dbms返回值之间的差异做对比 困难：DBMS实现方式很多，难以直接获取不加优化的执行结果 Solution: 将原查询重写为一个无法进行优化必须每行查 阅读全文

摘要： Abstract Background: Functional correctness很重要，但难测，传统人测，工具只测crash bugs 目的: 利用independent view properties，从种子测试中生成大量property-preserving tests，用来确保具体的ap 阅读全文

摘要： Abstract 目的: 快速获取tensor shape incompatible errors 方法: API上： 与tensorflow API保持一致，不过更快，只做捕捉tensor shape并打印的工作 此外，相当于实现了自定义的shape计算图 实验: - 52个程序 - 两种测试规模 阅读全文

摘要： Generics 为了向后兼容，关于泛型的信息并不是直接存在type或者method descriptors中的，而是存在type, method和class signatures中。而这些signatures是存在class/field/method declarations中的。编译器会使用这些 阅读全文

摘要： 列出jar中全部 class基本结构 JAR=simpleEg-1.0-SNAPSHOT_instrumented.jar && javap --class-path $JAR $(jar -tf $JAR | grep "class$" | sed s/\.class$//) Eclipse 编译 阅读全文

摘要： Java 7 1. 以前泛型初始化比较麻烦，现在对于Map<String, List<Trade>> trades = new TreeMap<String, List<Trade>> ();这种初始化，可以直接推测Map<String, List<Trade>> trades = new Tree 阅读全文

摘要： Abstract 目的：实现一个测评TSDB(time series databases)的标准系统 成果：IoTDB-Bencmark框架 方法： 1. 总结了几种特殊的Data ingestion scenarios 2. 10种基本查询类型 实验: 在4个TSDB系统上进行测评-InfluxD 阅读全文

摘要： Overview ASM是一个用来读写，转化，分析Java class的库，它的优势在于 1. API使用简单 2. 文档详细，有很大的用户群体，开源 3. 支持最新Java 4. 整个库小而快 ASM有两种API： 1. event based core API 2. object base tr 阅读全文

摘要： Abstract： 本文实现了在Java上进行模糊测试的工具Kelinci（格林奇，印尼语：野兔），基本方法是调用asm对java进行插桩，然后通过TCP链接和AFL交互。Kelinci具有不需要修改AFL且能够高度并行化（？fork?)的优点。 文章进行了一个实验，在apache commons 阅读全文