On 10-12 October 2013, Kostroma, Russia, will host 2013 International Workshop-Conference “Tools & Methods of Program Analysis” (TMPA-2013). Its general theme will be one of the most pertinent and important areas of software engineering: the analysis of software quality. The issues of efficiency and correctness of software are key for the majority of knowledge-intensive industries in modern economy, including IT, financial sector, transportation, medicine, high-technology industries, and many others. The development of new instruments and methods of program analysis, as well as the modification of existing ones, is one of the necessary prerequisites for introducing innovation. The purpose of the conference is to promote progress in the software development industry and the introduction of the latest achievements in the areas of testing, analysis and verification. The conference program will include plenary reports and mini-courses delivered by experts; presentations selected by the Program Committee; presentations of on-going projects, short reports about new ideas, research that is still underway or new tools.

1. 1312 Международная научно-практическая конференция: TOOLS & METHODS OF PROGRAM ANALYSIS Международная научно-практическая конференция: TOOLS & METHODS OF PROGRAM ANALYSIS
Программа конференции
TMPA-2013 Регистрация
Открытие
Кофе-брейк
Обед
Карпов Ю. Г.
Верификация параллельных программ: современный этап и перспективы
10 октября
Пакулин Н.
Подымов В., Попеско У.
Верификация программно-конфигурируемых сетей при помощи системы
UPPAAL
Кузьмин Е., Рябухин Д., Шипов А.
Построение и верификация ПЛК-программ по LTL-спецификации
программ
Ануреев И.
Лукин М., Шалыто А.
Верификация распределенных автоматных программ с использованием
инструментального средства Spin
Иванников В.П., Камкин А.С., Чупилко М.М.
Зорин Д.
Шипин А.А., Соколов В.А., Чалый Д.Ю.
Использование контрольных точек для верификации SystemC-программ
8:30
9:30
10:15
11:15
11:45
12:15
12:45
13:15
13:45
14:00
15:30
16:00
16:30
17:00 Френкель С.Л., Захаров В.Н., Ушаков В.Г.
Унифицированная высокоуровневая модель программно-аппаратной
системы для верификации свойств надежности функционирования
Смирнов М., Олоничев В., Староверов Б.
Особенности разработки программного обеспечения для Linux-
контроллеров
17:15
Синтез архитектуры многопроцессорных вычислительных систем с учетом
ограничений реального времени и требований к надежности
Динамическая верификация гибридных систем
Проверка корректности поведения HDL-моделей цифровой аппаратуры
на основе динамического сопоставления трасс
ВЕРИФИКАЦИЯ
АППАРАТНЫЙ ТРЕК
На пути к технологии разработки средств дедуктивной верификации
программ

2. 1514 Международная научно-практическая конференция: TOOLS & METHODS OF PROGRAM ANALYSIS Международная научно-практическая конференция: TOOLS & METHODS OF PROGRAM ANALYSIS
Регистрация
Захаров В. А.
Математические аспекты задачи обфускации программ
12 октября
Верт Т., Крикун Т. и Глухих М.
Андрианова А., Ицыксон В.
Автоматизированный синтез тестов для Java-программ на основе анализа
программ и учета контрактов
Тимофеев А.
Методика внедрения модельно-ориентированного подхода в процесс
разработки программного обеспечения
Буй Д., Компан С.
9:00
9:30
10:30
11:00
12:00
12:30
13:00
14:00
14:30
Обнаружение дефектов работы с указателями в программах С и С++
с использованием статического анализа и логического вывода
11 октября
Регистрация
ISTQB
Кофе-брейк
Обед
Петренко А. К.
Технические решения и нетехнические проблемы автоматизации
тестирования
Басок Б., Гречин А.
Сартаков В., Тарасиков А.
Анализ производительности сетевой подсистемы микроядерного
окружения Genode
Журавлев М., Полозов В.
Подход к верификации корректности миграции данных между СУБД с
использованием криптографических хэш-функций
Никешин А., Пакулин Н., Шнитман В.
Матвеева А., Антонов Н., Иткин И.
Особенности инструментов для тестирования, применимых при
промышленной эксплуатации трейдинговых систем
Алексеенко А., Проценко П., Матвеева А., Иткин И., Шаров Д.
Буянова О., Булда А, Зверев А.
Применение симуляторов рынка ценных бумаг для тестирования систем
агрегации и распределения информации о котировках (Ticker Plant)
8:30
9:30
10:30
11:00
12:00
12:30
13:00
13:15
14:00
13:30
15:30
15:50
16:10 Гурьев Д., Гай М., Иткин И., Терентьев А.
Высокопроизводительный генератор нагрузки для тестирования систем
автоматизированной торговли
Прядкина Н., Крюков А.
Использование MBT-подхода для верификации систем мониторинга и
контроля на фондовых биржах
16:30
Тестирование совместимости протокольных подключений клиентов
биржевых и брокерских систем
Об усовершенствовании статистического метода оценки полноты тестов
программ и устройств
11:30
Автоматизация тестирования соответствия протокола безопасности
транспортного уровня TLS
Сенов А
Применение технологий OLAP и MapReduce для обработки результатов
нагрузочного тестирования
Бобров И., Зверев А.
Тестирование графического интерфейса трейдинговых терминалов в
условиях высокочастотной торговли
16:45
17:00 Кофе-брейк
Круглый стол: «Нешаблонные методы тестирования программного
обеспечения для электронных торговых платформ»
17:30
Цителов Д., Трифанов В.
Динамический поиск гонок в Java-программах на основе синхронизацион-
ных контрактов
11:30 Кофе-брейк
Круглый стол: «Как написать хорошую научную статью»13:15
Закрытие конференции
Завершающий обед
11 октября
ТЕСТИРОВАНИЕ
ТРЕЙДИНГОВЫЕ СИСТЕМЫ
АНАЛИЗ ПРОГРАММ
Диаграммы классов ООП: формализация и анализ