上一页 1 ··· 22 23 24 25 26 27 28 29 30 ··· 79 下一页
摘要: Abstract 对unstructured->well-formed需求 本文: abstract syntax networkds 结果: ASTs 效果: 数据集HearthStone,目标代码生成 79.2 BLEU,22.7% exact match accuracy ATIS, JOBS 阅读全文
posted @ 2021-12-01 03:43 雪溯 阅读(33) 评论(0) 推荐(0) 编辑
摘要: Abstract 介绍Task(特点: corss-domain, multilingualism, enabling quick-start???) 在parsing table agnosticism之前的data abstraction step 一套语义规则 span-based seman 阅读全文
posted @ 2021-12-01 03:38 雪溯 阅读(38) 评论(0) 推荐(0) 编辑
摘要: TypeSQL: Knowledge-Based Type-Aware Neural Text-to-SQL Generation Abstract 介绍relational db 介绍Task 本文: TypeSQL 方法: 将问题转化为slot filling task 同时利用了type in 阅读全文
posted @ 2021-12-01 03:31 雪溯 阅读(38) 评论(0) 推荐(0) 编辑
摘要: Abstract 介绍Relational DB 本文Seq2SQL 方法: policy-based reinforcement learning Task:... 使用in-the-loop query执行来获取rewards 利用SQL的结构来剪枝空间 本文: 数据集: WikiSQL 规模8 阅读全文
posted @ 2021-12-01 03:26 雪溯 阅读(75) 评论(1) 推荐(0) 编辑
摘要: Abstract 介绍未定义行为,如signed integer overflow,及危害 本文: Lenient C,一种C方言 特点:对未定义行为增加定义 工具: Safe Sulong 方法: C解释器,在JVM上运行 阅读全文
posted @ 2021-12-01 03:10 雪溯 阅读(26) 评论(0) 推荐(0) 编辑
摘要: Abstract 介绍Sanitizer; 除掉无用Sanitizer checks 本文: SANRAZOR 方法: 获取动态coverage和静态data dependencies? 实验1: 数据集:SPEC benchmarks 效果: from 73.8% to 28.0–62.0% fo 阅读全文
posted @ 2021-11-28 02:49 雪溯 阅读(107) 评论(0) 推荐(0) 编辑
摘要: Abstract 介绍memory error的重要性 当前研究:low-level execution model, 额外的检查,问题:可能忽略corner cases 本文工具: Safe Sulong 方法: 将high-level中的数据结构与C中映射,然后用解释器来做自动检查 效果:能找到 阅读全文
posted @ 2021-11-28 00:23 雪溯 阅读(43) 评论(0) 推荐(0) 编辑
摘要: Abstract 解释Search-based software testing(SBST)(突出了衡量到coverage goal的距离度量的重要性) SBST的距离度量和搜索操作符(search operators)非常重要 问题: 已有方法难以应付object inputs,因为此时很难再进行 阅读全文
posted @ 2021-11-21 04:33 雪溯 阅读(59) 评论(0) 推荐(0) 编辑
摘要: Abstract rt 阅读全文
posted @ 2021-11-21 04:29 雪溯 阅读(112) 评论(0) 推荐(0) 编辑
摘要: PDF https://arxiv.org/pdf/2111.03013.pdf Abstract 1-2:背景:fuzz有用,但是测试网络服务还难 3 本文: NYX-NET:基于snapshot的fuzzing方法 特点:可fuzz的对象非常多,包括服务端、游戏、客户端、IPC服务 效果: 在M 阅读全文
posted @ 2021-11-11 19:32 雪溯 阅读(450) 评论(0) 推荐(0) 编辑
上一页 1 ··· 22 23 24 25 26 27 28 29 30 ··· 79 下一页