OCamlPro/seacoral

One automated test generation tool to rule 'em all

语言：OCaml · GitHub 星标：4 · Fork：3

话题：coverage-criteria · dynamic-symbolic-execution · fuzzing · model-checking · orchestration-tool · static-analysis · test-generation

在 GitHub 上查看原仓库