A symbolic Java virtual machine for program analysis, verification and test generation
Home Page:http://pietrobraione.github.io/jbse/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool