pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation
109Updated 2 months ago

Alternatives and similar repositories for jbse:

Users that are interested in jbse are comparing it to the libraries listed below