Controlling Nondeterminism in Model-Based Tests with Prophecy Variables (by amw-zero) — discussion

#databases #formalmethods #testing