Институт системного программирования им. В.П. Иванникова РАН


Герасимов Александр Юрьевич

Классификация предупреждений о программных ошибках методом динамического символьного исполнения программ

Диссертация принята к защите

Искомая степень: Кандидат физико-математических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 09 января 2019.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 14 марта 2019.