25 марта в рамках конференции ETAPS 2012 в Таллине состоялся семинар по тестированию на основе моделей, организованный Александром Константиновичем Петренко (ИСП РАН, Россия) совместно с Холгером Шлинглоффом (Fraungofer FIRST, Германия). На семинаре  выступила приглашенный докладчик Ина Шифердекер, глава Центра компетенций по моделированию и тестированию (MOTION) в Институте открытых коммуникационных систем Общества Фраунгофера, Берлин с докладом на тему «Model-Based Security Testing». От отдела Технологий программирования ИСП РАН выступил Евгений Герлиц с докладом на тему «Model-Based Testing of Safety Critical Real-Time Control Logic Software»