Towards Effectively Testing Sequence-to-Sequence models from White-Box Perspectives