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