•  State based languages (e.g. UML statecharts) are widely used to model class behaviour.
  •  New challenge: extend our SXM based techniques to class testing.
  •  Gather empirical evidence about their effectiveness.