Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens: State Coverage: Software Validation Metrics beyond Code Coverage. SOFSEM 2012: 542-553