TMPA-2015: программа

conference opening

ОТКРЫТИЕ КОНФЕРЕНЦИИ

Ekaterina Dimova

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


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

Victoria Leonchik

Reference Test Harness for Algorithmic Trading Platforms (RU)


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

Yury Litvinov

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


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

Bertrand Meyer

A Theory of Programs


Bertrand Meyer, Eiffel Software
Sergey Pavlov

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


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

Dynamic verification of input and output data streams for market data aggregation and quote dissemination systems (Ticker Plant) (RU)


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

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


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

Dmitrii Mordvinov

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


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

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


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

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


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

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


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

Generation of Test Scenarios for Non Deterministic and Concurrent Telecommunication Applications (RU)


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

Andrey Mironov

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


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

Dmitry Kondratyev

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


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

Nicolas Guelfi

Software Engineering Education: The Messir Approach


Nicolas Guelfi, University of Luxembourg
Rostislav Efremov

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


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

Nikolay Shilov

A Need To Specify and Verify Standard Functions (RU)


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

Mikhail Yermakov

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


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

Dmitry Kondtratyev

Implementing the MetaVCG Approach in the C-light System (RU)


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

Anton Evdokimov

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


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

Pavel Dovgalyuk

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


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

Anton Semyonchenko

Automated testing: yesterday, today, tomorrow – the vectors of development


Антон Семенченко, DPI Solutions
Andrew Tyugashev

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


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

Nikolay Pakulin

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


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

Vladimir Kovalenko

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


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

Yakov Roskoshnyy

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


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

conference closing

TMPA-2015: ЗАКРЫТИЕ КОНФЕРЕНЦИИ


TMPA-2015

TMPA-2015: Tools and Methods of Program Analysis Conference

About TMPA-2015

О TMPA-2015. САНКТ-ПЕТЕРБУРГСКИЙ ПОЛИТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ ПЕТРА ВЕЛИКОГО.