杰林·凯林奇 JMLKelinci是一种工具，可以在Java程序（使用Kelinci）上运行AFL模糊器，该程序使用每个程序的前提条件（用JML编写）来绕过无效的生成的输入。 与Kelinci相比，JMLKelinci具有四个优势： 由于它可以在运行被测程序之前捕获并绕过无效的输入，因此可以使测试更加有效。 通过避免覆盖无效输入的分支，该工具可以找到有效输入的错误。 有效的输入既可以提高运行效率，又可以更有效地演示错误。 将用JMLkelinci生成的（有趣的）测试池由有效输入组成（最多