muhammadiqbal / jbse Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pietrobraione/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
Home Page: http://pietrobraione.github.io/jbse/
License: GNU General Public License v3.0