符号执行

symbolic execution

пословный:

符号	执行
fúhào 1) символ, (условное) обозначение, знак; символический; знаковый 2) знаки препинания	zhíxíng выполнять, исполнять, приводить в исполнение; исполнительный; выполнение, отправление; исполнение; исполнительное производство