Text this: An Empirical Study on How Sapienz Achieves Coverage and Crash Detection.