title: Dynamic symbolic execution for Python
metadata.name: dc.contributor.advisor
metadata.value: Ицыксон Владимир Михайлович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Icykson Vladimir Mihajlovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Точилина Екатерина Николаевна
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Tocilina Ekaterina Nikolaevna
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Мордвинов Дмитрий Александрович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Mordvinov Dmitrij Aleksandrovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2024-07-25T11:49:30Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:49:30Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 085002
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/46170
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В данной работе была разработана система динамического символьного исполнения для языка Python. Были предложены подходы к решению проблем реализации символьного анализатора, специфичных для языка Python. Полученная система была встроена в инструмент автоматической генерации тестов UnitTestBot. Эксперименты показали, что внедрение техники символьного исполнения в инструмент привело к увеличению покрытия сгенерированных тестов.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: In this work, a system of dynamic symbolic execution for the Python language was developed. Approaches to solving implementation problems specific to the Python language were proposed. The resulting system was integrated into the UnitTestBot automatic test generation tool. Experiments showed that integrating symbolic execution techniques into the tool led to an increase in the coverage of generated tests.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: анализ кода
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: символьное исполнение
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Питон
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: code analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: symbolic execution
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Python
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Dynamic symbolic execution for Python
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Динамическое символьное исполнение для языка Python
metadata.lang: ru_RU
resources.filename: st085002.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46170/2/st085002.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 1,05 MB
resources.filename: reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Tocilinoj_K.N.__1_.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46170/3/reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Tocilinoj_K.N.__1_.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 75,93 kB
resources.filename: reviewSV_st085002_Tocilina_Ekaterina_Nikolaevna_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/46170/4/reviewSV_st085002_Tocilina_Ekaterina_Nikolaevna_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 3,89 kB