star-finder/jpf-star

Test input generation using separation logic

语言：Java · GitHub 星标：9 · Fork：2

话题：separation-logic · symbolic-execution · test-automation · testing-framework · testing-tools · unit-testing

在 GitHub 上查看原仓库