R Mudduluru, J Waataja… - … of Washington, Tech …, 2021 - dada.cs.washington.edu
When a program is nondeterministic, it is difficult to test and debug. Nondeterminism occurs
even in sequential programs: for example, as a result of iterating over the elements of a hash …