Text this: Automatically generating test cases for safety-critical software via symbolic execution.