GitHub repository: ARISE-Handong/crest
Primary language: C
Description: CREST-MI: a concolic testing with more user-friendly interfaces!