В статье рассматриваются функциональные возможности подсистемы символьного исполнения программ автокодного типа на языке MIXAL и методика отбора тестовых данных по результатам символьного исполнения, приводится пример ее использования для конкретной задачи.
