1
|
Прокопенко С.А., Шабалдина Н.В., Сотников А.П. Тестирование DART-реализации клиентской части протокола POP3 //Молодежь и современные информационные технологии : сборник трудов XVIII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 22–26 марта 2021 г. Томск: Изд-во Том. политехн. ун-та, 2021. С. 153-154.
|
|
|
2
|
Gromov M., Shabaldina N., Prokopenko S., Tvardovskii A. FSM-based Sequential Circuits Optimization by Changing Initial State of Specification //2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, 10–13 september 2021. [Red Hook]: IEEE, 2021. P. 361-366.
|
|
|
3
|
Михайлова А.Н., Болтова В.С., Прокопенко С.А., Шабалдина Н.В. К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 133.
|
|
|
4
|
Мануилов В.А., Шабалдина Н.В. Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 139.
|
|
|
5
|
Сотников А.П., Болтова В.С., Шабалдина Н.В. Автоматизация построения автоматной композиции для описания клиент-серверного взаимодействия на примере протокола BOOTP //Молодежь и современные информационные технологии : сборник трудов XVII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 17-20 февраля 2020 г. Томск: Изд-во Том. политехн. ун-та, 2020. С. 186-187. URL: http://msit.tpu.ru/.
|
|
|
6
|
Gromov M.L., Prokopenko S.A., Shabaldina N.V., Laputenko A.V. Model Based JUnit Testing //20th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices. EDM 2019 : conference proceedings. [S. l.]: IEEE, 2019. P. 139-142. URL: ISBN 978-1-7281-1753-9.
|
|
|
7
|
Gromov M.L., Prokopenko S.A., Shabaldina N.V., Sotnikov A.P. ArtificialIntelligence in Web Attacks Detecting //SYRCoSE 2019. Preliminary Proceedings of the 13rd Spring/Summer Young Researchers’ Colloquium on Software Engineering, Saratov, 29-31 may 2019. Saratov, 2019. P. 186-189. URL: http://syrcose.ispras.ru/2019/SYRCoSE2019_Proceedings.pdf.
|
|
|
8
|
Shabaldina N., Yevtushenko N., F. Yu. Towards checking WEB-services security: using automata equations and inequalities //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. P. 90.
|
|
|
9
|
Сотников А.П., Шабалдина Н.В. Применение операций левого/правого частного для очистки пользовательских данных в ВЕБ-приложениях //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 84-85.
|
|
|
10
|
Дарусенкова Е.В., Прокопенко С.А., Шабалдина Н.В. К построению параллельной композиции расширенных автоматов //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 81-82.
|
|
|