Text this: Formal Methods and Testing