How DICE Works

DICE is composed of:

Libraries help parsing constraints, generating random parameters for a tests, and run different types of tests.
A curses-bases TUI to help testers monitor the results and statistics of called tests.