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