Text this: Automated coverage calculation and test case generation