Шестая летняя школа по тестированию в Университете Хальмстад

Магистранты кафедры РИС Антон Лобашов и Максим Баландин приняли участие в 6-й летней школе по тестированию в Университете Хальмстад, Швеция, проходившей с 9 по 19 июня 2016г.

Hsst_2016_photo1Hsst_2016_photo2

Наиболее интересные направления летней школы:

  • Тестирования и верификации методов многоядерной параллельности;
  • Автоматизация проверки программного обеспечения с помощью статического анализатора Infer;
  • Анализ дерева неисправностей;
  • Роль тестирования и приложений для инноваций.

Магистранты познакомились с процессом обучения в аспирантуре университета, с некоторыми текущими проектами по которым идёт работа студентов.
По результатам участия в летней школе получены соответствующие сертификаты.