STAR KDT: WPF applications testing