没有合适的资源?快使用搜索试试~ 我知道了~
JMLKelinci
共715个文件
java:504个
class:112个
txt:95个
需积分: 9 0 下载量 22 浏览量
2021-03-14
16:18:05
上传
评论
收藏 841KB ZIP 举报
温馨提示
杰林·凯林奇 JMLKelinci是一种工具,可以在Java程序(使用Kelinci)上运行AFL模糊器,该程序使用每个程序的前提条件(用JML编写)来绕过无效的生成的输入。 与Kelinci相比,JMLKelinci具有四个优势: 由于它可以在运行被测程序之前捕获并绕过无效的输入,因此可以使测试更加有效。 通过避免覆盖无效输入的分支,该工具可以找到有效输入的错误。 有效的输入既可以提高运行效率,又可以更有效地演示错误。 将用JMLkelinci生成的(有趣的)测试池由有效输入组成(最多一个无效输入除外)。 因此,Kelinci使用的遗传算法产生其他有效输入的可能性增加。 这将导致有效输入有效地实现被测程序的分支覆盖。 可以以更少的限制选择模糊器的初始种子。 此外,TAP研究中使用的数据集中的28个示例(在评论文件中)可用于重现结果。 每个程序与Kelinci和JMLKelin
资源推荐
资源详情
资源评论
收起资源包目录
JMLKelinci (715个子文件)
JMLDriver.class 29KB
JMLDriver.class 28KB
JMLDriver.class 27KB
JMLDriver.class 27KB
Time.class 15KB
JMLDriver.class 15KB
Time.class 15KB
BankAccount.class 14KB
BankAccount.class 14KB
JMLDriver.class 14KB
JMLDriver.class 14KB
JMLDriver.class 14KB
JMLDriver.class 13KB
JMLDriver.class 13KB
JMLDriver.class 12KB
JMLDriver.class 12KB
JMLDriver.class 11KB
JMLDriver.class 11KB
JMLDriver.class 11KB
JMLDriver.class 11KB
JMLDriver.class 11KB
JMLDriver.class 10KB
JMLDriver.class 10KB
JMLDriver.class 10KB
JMLDriver.class 10KB
JMLDriver.class 10KB
JMLDriver.class 9KB
JMLDriver.class 9KB
JMLDriver.class 9KB
JMLDriver.class 9KB
JMLDriver.class 9KB
JMLDriver.class 9KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 8KB
JMLDriver.class 7KB
JMLDriver.class 7KB
JMLDriver.class 7KB
JMLDriver.class 7KB
JMLDriver.class 7KB
JMLDriver.class 7KB
StudentEnrollment.class 7KB
JMLDriver.class 7KB
JMLDriver.class 7KB
Calculator.class 7KB
StudentEnrollment.class 7KB
JMLDriver.class 7KB
JMLDriver.class 7KB
JMLDriver.class 6KB
Calculator.class 6KB
PerimeterDriver.class 6KB
JMLDriver.class 6KB
PerimeterDriver.class 6KB
TransposeMatrix.class 5KB
TransposeMatrix.class 4KB
FIND_FIRST_IN_SORTED.class 4KB
BinarySearch.class 4KB
FIND_IN_SORTED.class 4KB
BubbleSort.class 4KB
CopyArray.class 4KB
StrPalindrome.class 4KB
StrPalindrome.class 4KB
FIND_FIRST_IN_SORTED.class 4KB
Inverse.class 4KB
BinarySearch.class 4KB
FIND_IN_SORTED.class 4KB
GCD.class 4KB
Alphabet.class 4KB
CopyArray.class 4KB
LinearSearch.class 4KB
BubbleSort.class 4KB
AddLoop.class 4KB
FindFirstZero.class 4KB
OddEven.class 4KB
CombinationPermutation.class 4KB
Smallest.class 4KB
OddEven.class 4KB
Inverse.class 4KB
LCM.class 3KB
GCD.class 3KB
Alphabet.class 3KB
Factorial.class 3KB
LinearSearch.class 3KB
AddLoop.class 3KB
PrimeCheck.class 3KB
LeapYear.class 3KB
LeapYear.class 3KB
共 715 条
- 1
- 2
- 3
- 4
- 5
- 6
- 8
资源评论
李川雨
- 粉丝: 33
- 资源: 4579
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功