Text this: Empirical Software Engineering and Verification