Fig. (2)
Function synthesis using random-basis testing.
