GitHub repository: Ankit491/FSE-2011-SCORE
Primary language: C
Description: Scalable COncolic testing for REliable Software