Slide 1 State coverage: an empirical analysis based on a user study Dries Vanoverberghe, Emma Eyckmans, and Frank Piessens Software Validation Metrics Software defects after…