Конференция "Инструменты и методы анализа программ - 2015"

12-14 ноября 2015 года в СПбПУ состоится третья конференция по программной инженерии "Инструменты и методы анализа программ" (Tools & Methods of Program Analysis, TMPA-2015).

Темы, рассматриваемые на конференции, включают (но не ограничиваются):

• автоматизация тестирования программного обеспечения;
• статический анализ программ;
• верификация;
• динамические методы анализа программ;
• тестирование и анализ параллельных и распределенных систем;
• тестирование и анализ высоконагруженных систем и систем высокой доступности;
• анализ и верификация программно-аппаратных систем;
• методы создания качественного программного обеспечения;
• инструментальные средства анализа, тестирования и верификации.

На конференции будут представлены как приглашенные доклады признанных специалистов в области программной инженерии, так и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами. В качестве экспертов привлекаются ведущие российские и зарубежные ученые в области разработки и анализа программного обеспечения. Оргкомитет организует бесплатное проживание для докладчиков конференции.

Адрес для подачи докладов