Некоторые методы оптимизации использования символьных наборов в информационных системах:

• Сокращение числа путей выполнения. 2 Позволяет снизить вычислительную сложность обхода путей выполнения и уменьшить время, необходимое для анализа программы. 2
• Использование SMT-решателей. 1 С их помощью проверяют выполнимость условий, в которых участвуют символьные константы. 1 Например, проверка выполнимости условия сразу при встрече условного оператора (eager evaluation) помогает не тратить ресурсы на заведомо недостижимые ветви работы программы. 1
• Инструментация кода. 2 Подразумевает модификацию кода путём внедрения кода, который не нарушает исходную функциональность программы и позволяет извлекать дополнительную информацию при её выполнении. 2
• Оптимизация читаемости тестов. 3 Метод улучшает читаемость тестов, автоматически сгенерированных при помощи символьных вычислений, что положительно сказывается на процессе верификации результатов тестирования человеком. 3