| Subject | English | Russian |
| IT | dynamic symbolic execution | динамическое символьное выполнение (По мере увеличения числа путей растет и количество их уравнений, что делает символьное выполнение малопригодным для тестирования масштабных приложений. Вместо него тестировщики, как правило, используют гибридный подход, называемый конколическим — конкретно-символьным (concolic = concrete + symbolic) выполнением или динамическим символьным выполнением. bartov-e) |
| progr. | symbolic execution | символьное выполнение (zukka) |
| progr. | symbolic execution | символическое выполнение (программы ssn) |