Text this: Effective Functional Verification