testapproach: progress on Test specification/generation