Empirical Software Engineering and Verification