Text this: Functional Test Generation for Hard-to-Reach States Using Path Constraint Solving.