GitHub repository: CMPT-479/VBNConcolicGen
Primary language: Java
Description: Concolic Unit Test Generation for Java