GitHub repository: pietrobraione/jbse
Primary language: Java
Description: A symbolic Java virtual machine for program analysis, verification and test generation