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