3 ms·Automatically testing all possible states caused by (pseudo-)random behaviour1 points by javinpaul 13y ago