When a Number Is Not a Number: Benefits of Random Test Generators