pietrobraione/jbse

A symbolic Java virtual machine for program analysis, verification and test generation

语言：Java · GitHub 星标：125 · Fork：28

话题：java-virtual-machine · symbolic-execution-engine

在 GitHub 上查看原仓库