Does Automated White-Box Test Generation Really Help Software Testers?