Наиболее интересные проекты, выполненные группой:

• Верификация аппаратуры и инструменты кросс-разработки (настоящее время);
• Open Linux VERification (OLVER) (настоящее время); 
• Разработка инструмента тестирования для C# и .NET интерфейсов (2002--2003, 16 человеко-лет);
• Разработка моста (Jaclin) для тестирования интерфейсов на С++ на основе спецификаций, написанных на расширении языка Java (2002--2003, 4 человеко-года);
• Разработка технологии тестирования оптимизационных блоков компиляторов на основе моделей языков (2001--2003, 5 человеко-лет);
• Тестирование мобильной реализации протокола IPv6 (2002--2003, 2 человеко-года);
• Разработка инструмента тестирования программ на языке C- CTesK (2000 -2002, 5 человеко-лет);
• Разработка инструмента тестирования программ на языке Java - J@T (2000 -2002, 18 человеко-лет);
• Тестирование Object Broker (2000, 1 человеко-год);
• Тестирование компонентов ATM Framework (1999 -2000, 6 человеко-лет);
• Тестирование и редизайн системы поддержки приложений (1998 -1999, 2 человеко-года);
• Тестирование ядра операционной системы (1994 - 1997, 25 человеко-лет).