info@tmpaconf.org
En | Ru


Видео 2015

conference opening

Открытие конференции





Ekaterina Dimova

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


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

Reference Test Harness for Algorithmic Trading Platforms

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

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

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

A Theory of Programs (EN)

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)

Алёна Булда, Мария Орлова, 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

Павел Дробинцев, Всеволод Котляров, Никита Воинов, СПбПУ Петра Великого
Andrey Mironov

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

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

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

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

Software Engineering Education: The Messir Approach (EN)

Nicolas Guelfi , University of Luxembourg
Rostislav Efremov

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

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

A Need To Specify and Verify Standard Functions

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

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

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

Implementing the MetaVCG Approach in the C-light System

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

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

Антон Евдокимов, Дмитрий Цителов, Роман Елизаров, Виталий Трифанов, Университет ИТМО
Pavel Dovgalyuk

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

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

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

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

СИСТЕМА ИНФОРМАЦИОННОЙ ПОДДЕРЖКИ РАЗРАБОТКИ МАКРОПРОГРАММ АВТОНОМНОГО УПРАВЛЕНИЯ КОСМИЧЕСКИМ АППАРАТОМ

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

СТАНДАРТЫ И СТАНДАРТИЗАЦИЯ В ПРОГРАММНОЙ ИНЖЕНЕРИИ. КАКОЕ ОТНОШЕНИЕ ЭТО ИМЕЕТ К ВАМ?

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

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

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

ПРИМЕНЕНИЕ СТАТИЧЕСКОГО АНАЛИЗА ДЛЯ ОПТИМИЗАЦИИ ДИНАМИЧЕСКОГО ПОИСКА ГОНОК

Яков Роскошный, Дмитрий Цителов, Виталий Трифанов, Роман Елизаров, Университет ИТМО
conference closing

TMPA-2015: закрытие конференции


TMPA-2015

TMPA-2015: Tools and Methods of Program Analysis Conference



About TMPA-2015

О TMPA-2015. Санкт-Петербургский Политехнический Университет Петра Великого.