Научные руководители
 |
Ицыксон Владимир Михайловичкандидат технических наук, доцент vmitsykson@itmo.ru Структурное подразделение: институт прикладных компьютерных наук Должность: ведущий научный сотрудник Структурное подразделение: институт прикладных компьютерных наук Должность: доцент (квалификационная категория "ординарный доцент") Профиль: 2.3.5. - Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей Область интересов: Статический анализ программ Верификация программного обеспечения Формальные спецификации программного обеспечения Автоматизация тестированя программного обеспечения Фаззинг программ Трансформация программного обеспечения Рабочий язык: Английский, Русский |
Публикации руководителя
| Выходные данные | Год | Индексирование в БД |
| Feofilaktov V., Itsykson V. SPIDER: Specification-based Integration Defect Revealer//Communications in Computer and Information Science, 2024, Vol. 1559, pp. 107-119 | 2024 | Scopus, Web of Science |
| Alekseev Y., Onischuck M., Zorin A., Chernyi V., Iliyn E., Itsykson V. ATSM: A coverage-based framework and a tool for test suite minimization//Journal of Software: Evolution and Process, 2023, Vol. 36, No. 6, pp. e2621 | 2023 | Scopus, Web of Science, Белый список |
| Abdullin A.M., Itsykson V.M. Reanimator: from Test Data to Code and Bac//Программная инженерия, 2022, Vol. 13, No. 10, pp. 483-496 | 2022 | RSCI, ВАК, РИНЦ |
| Stepanov D.S., Itcykson V.M. Backend Bug Finder — a platform for effective compiler fuzzing//Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy], 2022, No. 6(121), pp. 31-40 | 2022 | Scopus, ВАК, РИНЦ |
| Степанов Д.С., Ицыксон В.М. Поиск дубликатов ошибок компиляторов методом генерации программ-свидетелей // Программная инженерия -2022. - Т. 14. - № 4. - С. 165-174 | 2022 | RSCI, ВАК, РИНЦ |
| Abdullin A.M., Itsykson V.M. Kex: A Platform For Analysis Of JVM Programs//Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy], 2022, No. 1(116), pp. 30-43 | 2022 | Scopus, ВАК, РИНЦ |
| Itsykson V., Onischuck M. Generator of automated tools for program instrumentation//CEUR Workshop Proceedings, 2021, Vol. 2953, pp. 31-37 | 2021 | Scopus |
| Itsykson V. Partial Specifications of Libraries: Applications in Software Engineering//Communications in Computer and Information Science, 2021, Vol. 1288, pp. 3-25 | 2021 | Scopus, Web of Science |
| Egorova I., Itsykson V. Generation of Test-Based Traces for Automated Partial Software Specifications Extraction//Communications in Computer and Information Science, 2021, Vol. 1288, pp. 203-208 | 2021 | Scopus, Web of Science |
| Belskii A., Itsykson V.M. Automatic generation of software bug fixes based on analysis of software repositories//Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление, 2020, Vol. 13, No. 2, pp. 35-48 | 2020 | ВАК, РИНЦ |