English logic-coverage testing: תרגום לשפות אחרות