• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Automatic Test Generation for Model-Based Code Generators
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
15 июля 2026 г.
«Тело саботирует мозг»: ученые НИУ ВШЭ - Санкт-Петербург объяснили физиологическую природу компульсивного переедания
Исследователи НИУ ВШЭ — Санкт-Петербург совместно с экспертами Тюменского государственного медицинского университета доказали, что при расстройствах пищевого поведения (РПП) организм теряет способность адаптироваться к стрессу. Попытки пациентов взять себя в руки при переедании часто не приносят результата: нервная система перестает реагировать на команды мозга.
15 июля 2026 г.
В НИУ ВШЭ создан Фонд науки и технологий
Фонд науки и технологий НИУ ВШЭ (ФНТ) будет финансировать перспективные научные инициативы, имеющие прикладную направленность и содействующие достижению технологического лидерства России. На поддержку могут рассчитывать проектные команды из всех кампусов университета. Заявку в ФНТ можно подать в любой момент. Рассматривать заявки будет созданный Совет по науке и технологиям НИУ ВШЭ.
14 июля 2026 г.
«Я мечтаю о простых вещах»
Анастасия Гергенретер занимается прикладной статистикой и эконометрикой. В интервью проекту «Молодые ученые Вышки» она рассказала о том, зачем изучает потребление аддиктивных веществ, о двух очень разных Фишерах и о цветении сакуры в Главном ботаническом саду.

 

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

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Automatic Test Generation for Model-Based Code Generators

P. 75–81.
Силаков Д. В., Петренко А., Zelenov S., Conrad M., Fey I.
Язык: английский
Ключевые слова: генераторы тестовmodel-based approachTest 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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору