zoukankan
html css js c++ java
Proj THUDBFuzz Paper Reading: Language-Agnostic Generation of Compilable Test Programs
Abstract
工具: *Smith
特点: 接受语义和语法规则说明,输出有效兼容性的测试程序
此外,还能对搜索空间尽可能剪枝,让创建过程尽可能local
实验:
对C, Lua, SQL和SMT-LIB2展示了4个Case studies,说明*Smith能够在语法规则相差较大的程序语言上正常工作
在4种语言中都找到了bugs,比如在老版本的GCC和LLVM中找到了165个不同的crashes
查看全文
相关阅读:
新线程 handler
解决获取View的width和Height为0的4种方法
回调深入理解 同步回调 以android中View.OnClickListener为列
回调函数
android:layout_weight
studio rendering problems
android:exported属性
Codeforces 1264C/1265E Beautiful Mirrors with queries (概率期望、DP)
Codeforces 1254C/1255F Point Ordering (交互题)
Codeforces 576D Flights for Regular Customers (图论、矩阵乘法、Bitset)
原文地址:https://www.cnblogs.com/xuesu/p/14499709.html
最新文章
Struts2拦截器
Struts2输入校验
Struts2类型转换
struts2标签
Struts2国际化
Convention插件与“约定”支持
配置Struts2的异常处理
PreResultListener使用
struts2 package元素
python中yield使用
热门文章
电脑如何连接windows server服务器
ValueError: invalid literal for int() with base 10问题处理
sql查询语句得到返回值fetchone()
selenium问题之定位不到元素(NoSuchElementException)
python数据分析中常用的库
cookie和session
mysql启动以及常用命令汇总
分布式爬虫
做一个简单的scrapy爬虫
vi 编辑器命令
Copyright © 2011-2022 走看看