Text this: Empirical software engineering and verification :