info@tmpaconf.org
En | Ru


Презентации


2015

TMPA-2015: Software Engineering Education: The Messir Approach



Nicolas Guelfi,
University of Luxembourg

Автоматизированное создание тест-кейсов для тестирования соединений и протоколов


Сергей Павлов, Андрей Соловьев, Александр Бормотин, Анна Торопова, Иосиф Иткин,
Exactpro

Динамический анализ исполняемого кода в формате ELF на основе статической бинарной инструментации


Михаил Ермаков,
ИСП РАН

Автоматическое тестирование линеаризуемости реализаций многопоточных структур данных


Антон Евдокимов, Дмитрий Цителов, Роман Елизаров, Виталий Трифанов,
Университет ИТМО, OOO "Эксперт-Система", Санкт-Петербург

Лексический анализ динамически формируемых строковых выражений


Марина Полубелова, Семён Григорьев,
Санкт-Петербургский государственный университет

Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде


Артем Алексюк, Владимир Ицыксон,
Санкт-Петербургский государственный политехнический университет Петра Великого

Reference Test Harness for Algorithmic Trading Platforms



Виктория Леончик, Алексей Сухов, Евгений Ушаков, Иосиф Иткин, Анна-Мария Лукина,
Exactpro

Применение статического анализа для оптимизации динамического поиска гонок


Яков Роскошный, Дмитрий Цителов, Виталий Трифанов, Роман Елизаров,
Университет ИТМО, OOO "Эксперт-Система"

Инструмент для автоматизированного тестирования систем проведения расчетов и клиринга ClearTH


Анна Торопова, Екатерина Димова, Иосиф Иткин,
Exactpro

Стандарты и стандартизация в программной инженерии. Какое отношение это имеет к вам?



Николай Пакулин,
ИСП РАН

Implementing the MetaVCG Approach in the C-light System




Алексей Промский, Дмитрий Кондратьев,
Институт систем информатики им. А.П. Ершова СО РАН

Расширение метагенерации условий корректности концепцией семантической разметки



Дмитрий Кондратьев,
Институт систем информатики им. А.П. Ершова СО РАН

A Need To Specify and Verify Standard Functions




Николай Шилов,
Институт систем информатики им. А.П. Ершова СО РАН

Формальные методы в робототехнике




Дмитрий Мордвинов, Юрий Литвинов,
Санкт-Петербургский государственный университет

Верификация функциональных программ методом построения диаграмм состояний


Андрей Миронов,
ИПИ РАН

Спонсорский доступ с малой задержкой посредством FPGA



Валерий Флоров, Павел Гарин, Павел Смирнов, Максим Метельков,
Exactpro

Язык Котлин: от разадресации нуля до умных преобразований типов



Михаил Глухих,
JetBrains

Towards a Usable Defect Prediction Tool: Crossbreeding Machine Learning and Heuristics


Владимир Коваленко, Галина Алперович,
JetBrains

Тестирование среды программирования роботов





Дмитрий Мордвинов, Юрий Литвинов,
Санкт-Петербургский государственный университет

Система информационной поддержки разработки макропрограмм автономного управления космическим аппаратом


Андрей Тюгашев, Антон Насекин,
Университет ИТМО

Blockchain Technologies: The Future of Publishing Will Have No Middleman





Matej Michalko,
DECENT

Dynamic verification of Ticker Plant





Алёна Булда, Мария Орлова,
Exactpro

Трассировка многомодульного приложения в среде операционной системы z/OS



Ростислав Ефремов,
Санкт-Петербургский государственный университет

Generation of Test Scenarios for Non Deterministic and Concurrent Telecommunication Applications


Павел Дробинцев,Всеволод Котляров, Никита Воинов,
Санкт-Петербургский государственный политехнический университет Петра Великого

Мультиплатформенный метод обратной отладки виртуальных машин


Павел Довгалюк, Мария Климушенкова, Денис Дмитриев, Владимир Макаров,
Новгородский государственный университет им. Ярослава Мудрого