State Coverage: An Empirical Analysis Based on a User Study. - Dries Vanoverberghe; Emma Eyckmans; Frank Piessens (SOFSEM, 2013)