GitHub repository: svlpsu/crete-release
Primary language: C
Created: 2016-06-15T23:38:04Z
Description: Concolic Recursive Execution Testing Environment