Text this: Formal methods and testing :