Exploiting aspects in model-based testing. - Külli Sarna; Jüri Vain (FOAL, 2012)