English parameterized executable test suite: translation to other languages