Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?
Hybrid Concolic Testing