Runtime verification of state machines and defect localization applying model-based testing. - Mehrdad Saadatmand; Detlef Scholle; Cheuk Wing Leung; Sebastian Ullström; Joanna Fredriksson Larsson (WICSA Companion, 2014)