Automatic Test Generation for Model-Based Code Generators

D. Silakov; A. Petrenko; Zelenov S.; Conrad M.; Fey I.

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

13 августа 2026 г.

Социальная интеграция: на перекрестках знаний и ценностей

Международная лаборатория исследований социальной интеграции (МЛИСИ) НИУ ВШЭ занимается изучением проблем уязвимых слоев населения и поиском методов их вовлечения в полноценную повседневную жизнь. Для поиска решений ученые лаборатории сочетают разработку передовых методов с практической работой «в поле». О деятельности лаборатории новостной службе «Вышка.Главное» рассказала ее заведующая Елена Ярская-Смирнова.

12 августа 2026 г.

Студенты Вышки, вероятно, обнаружили новый вид медузы во время практики на Сахалине

Учащиеся факультета биологии и биотехнологии НИУ ВШЭ стали первыми студентами, которые приехали в экспедицию на биостанцию «Анива» на острове Сахалин. Их целью было изучение морских полипов и медуз. Молодым ученым удалось получить неожиданные результаты: возможно, во время полевых работ они обнаружили новые для региона виды. Теперь часть находок привезут в Москву для детального изучения. Об экспедиции студентки рассказали «Вышке.Главное».

12 августа 2026 г.

«Я бы назвал атмосферу в лаборатории и в университете творческой и стимулирующей»

Научный сотрудник Международной лаборатории стохастического анализа и его приложений НИУ ВШЭ французский ученый Жан-Франсуа Жабир работает в НИУ ВШЭ с 2017 года. Его привлекла возможность вести исследования совместно с ведущими зарубежными и российскими учеными, свобода академических дискуссий и открытость университета. Своими впечатлениями о Вышке и Москве Жан-Франсуа Жабир поделился с новостной службой «Вышка.Главное».

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Automatic Test Generation for Model-Based Code Generators

P. 75–81.

Силаков Д. В., Петренко А., Zelenov S., Conrad M., Fey I.

Язык: английский

Ключевые слова: генераторы тестов model-based approach Test Generator

В книге

Proceedings of Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006.

Margaria T., Steffen B. IEEE Computer Society, 2006.

Антропоцентрические науки: инновационный взгляд на образование и развитие личности: материалы 1-й Международной научно-практической конференции

Воронеж: Научная книга, 2014.

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

Добавлено: 14 ноября 2014 г.

Visual Models Transformation in MetaLanguage System

Сухов А. О., Лядова Л. Н., , in: Advances in Information Science and Applications. Volumes I & II. Proceedings of the 18th International Conference on Computers (part of CSCC '14)Vol. 1-2.: Santorini Island: CSCC, 2014. P. 460–467.

At the process of creation and maintenance of information systems the model-based approach to the software development is increasingly used. This approach allows to move the focus from writing of the program code with using general purpose language to the models development with automatic generation of data structures and source code of applications. However at ...

Добавлено: 26 июля 2014 г.

Horizontal Transformations of Visual Models in MetaLanguage System

Сухов А. О., Лядова Л. Н., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 31–40.

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

Добавлено: 2 сентября 2013 г.

Опыт использования программного продукта Exam View Pro, Google Docs и сайта Wiki в онлайн режиме преподавания английского для специальных целей студентам факультета бизнес информатики

Кузьмина Т. А., В кн.: Актуальные проблемы преподавания иностранных языков в неязыковых вузах (материалы Межфакультетской научно-методической конференции).: М.: Издательский дом НИУ ВШЭ, 2012. С. 373–376.

В работе обсуждается опыт использования интернет ресурсов второго поколения Web2 в смешанном (blended) режиме обучения, который предполагает сочетание традиционных аудиторных занятий с самостоятельной работой студентов онлайн. Выбор онлайн инструментов Web2 основывался на анализе интернет ресурсов высокой функциональности, которыми являются сайты Wiki и Google в сочетании с возможностями интерактивных генераторов тестов Exam View Pro, а также ...

Добавлено: 29 октября 2012 г.