GitHub repository: ksen007/janala2
Primary language: Java
Description: a concolic testing engine for Java