אנגלית ⇄ גרמנית דנית הולנדית יוונית סינית ספרדית פורטוגלית פינית רוסית שוודית +

symbolic execution
.טכנול	symbolsk eksekvering