/DICE

website of of the tool DICE (DIversity through CounterExamples)

Primary LanguageC

Stargazers