Assertion list for term "tested without combinatorial explosion of cases".
Results from Ascent++: 1
protocol → ReceivesAction → tested without combinatorial explosion of cases 0.20