Generation of the weakest preconditions of programs with dynamic memory in symbolic execution

Authors: A. V. Misonizhnik, Yu. O. Kostyukov, M. P. Kostitsyn, D. A. Mordvinov, D. V. Koznov

Source: Научно-технический вестник информационных технологий, механики и оптики, Vol 22, Iss 5, Pp 982-991 (2024)

Subject Terms: слабейшие предусловия, символьное исполнение, обратный символьный анализ, двунаправленный анализ, автоматическая генерация тестов, Information technology, T58.5-58.64

File Description: electronic resource

Relation: https://ntv.elpub.ru/jour/article/view/82; https://doaj.org/toc/2226-1494; https://doaj.org/toc/2500-0373

Access URL: https://doaj.org/article/747bb1f0ad2f499580feb3fa307d2544

Test Readability Optimization in Context of Symbolic Execution

Authors: I. A. Yakimov, A. S. Kuznetsov

Source: Труды Института системного программирования РАН, Vol 28, Iss 5, Pp 227-238 (2018)

Subject Terms: автоматическая генерация тестов, символьные вычисления, цена проверки тестов человеком, биграммная модель языка, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/180; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/cc092f389f344f35b2c26a6f16462f75

Автоматизированная подготовка задачных комплектов для олимпиад по программированию ; Automated creation of the problem complexes for programming contests

Authors: Андреева, Т. А., Andreyeva, T. A.

Subject Terms: AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ

Subject Geographic: RU, RSVPU, РФ, РГППУ

File Description: application/pdf

Relation: Наука. Информатизация. Технологии. Образование : материалы XI международной научно-практической конференции. - Екатеринбург, 2018

Availability: https://elar.uspu.ru/handle/ru-uspu/25446

Автоматизированная подготовка задачных комплектов для олимпиад по программированию

Authors: Andreyeva, T. A.

Subject Terms: АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE

File Description: application/pdf

Access URL: https://elar.rsvpu.ru/handle/123456789/25446

New graphik programming concept

Source: Южно-Сибирский научный вестник.

Subject Terms: цвет и любая конфигурация вершин и горизонтальных дуг, визуальное (графическое, полиглот, математическое, интеллектуальное ,3D+) программирование, three-dimensional graphs, any load on arcs, доказательство правильности программ, programming without programming languages, автоматическая генерация тестов, proof of correctness, mathematical and polyglot concept, ориентированные графы с горизонтальными дугами, graphic programming, документирование мотивации принимаемых решений, color, programming for all, самодокументирование, automatic test generation, oriented graphs with horizontal arcs, оптимизация графов программ, self-documentation, compactness of the record, any configuration of arcs and vertices

АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ ПО КУРСУ ТЕОРИИ ВЕРОЯТНОСТЕЙ

Authors: Зорин, А.

Subject Terms: ТЕСТИРОВАНИЕ ЗНАНИЙ СТУДЕНТОВ,АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ,ТЕОРИЯ ВЕРОЯТНОСТЕЙ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/avtomaticheskaya-generatsiya-testov-po-kursu-teorii-veroyatnostey
http://cyberleninka.ru/article_covers/15720083.png

МАСШТАБИРОВАНИЕ АЛГОРИТМОВ ДЛЯ АВТОМАТИЧЕСКОЙ ГЕНЕРАЦИИ МОДУЛЬНЫХ ТЕСТОВ

Authors: Рудаков, Игорь, Ребриков, Александр

Subject Terms: ТЕСТИРОВАНИЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, ВЕРИФИКАЦИЯ, МАСШТАБИРОВАНИЕ АЛГОРИТМОВ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/masshtabirovanie-algoritmov-dlya-avtomaticheskoy-generatsii-modulnyh-testov
http://cyberleninka.ru/article_covers/14258326.png

Автоматическая генерация тестов по курсу теории вероятностей

Source: Вестник Нижегородского университета им. Н.И. Лобачевского.

Subject Terms: ТЕСТИРОВАНИЕ ЗНАНИЙ СТУДЕНТОВ,АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ,ТЕОРИЯ ВЕРОЯТНОСТЕЙ

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/avtomaticheskaya-generatsiya-testov-po-kursu-teorii-veroyatnostey
http://cyberleninka.ru/article_covers/15720083.png

Масштабирование алгоритмов для автоматической генерации модульных тестов

Source: Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия «Приборостроение».

Subject Terms: ТЕСТИРОВАНИЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, ВЕРИФИКАЦИЯ, МАСШТАБИРОВАНИЕ АЛГОРИТМОВ, 0209 industrial biotechnology, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/14258326.png
http://cyberleninka.ru/article/n/masshtabirovanie-algoritmov-dlya-avtomaticheskoy-generatsii-modulnyh-testov

Ускорение операций над множествами в дедуктивном методе моделирования неисправностей

Subject Terms: бинарные деревья, характеристические векторы, связные списки, структуры данных, автоматическая генерация тестов, хэш-таблицы, программируемая логика

Access URL: http://repository.kpi.kharkov.ua/handle/KhPI-Press/16620

Автоматизированная подготовка задачных комплектов для олимпиад по программированию

Additional Titles: Automated creation of the problem complexes for programming contests

Authors: Андреева, Т. А., Andreyeva, T. A.

Index Terms: AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ, Conference Paper, info:eu-repo/semantics/conferenceObject, info:eu-repo/semantics/publishedVersion

URL: Наука. Информатизация. Технологии. Образование : материалы XI международной научно-практической конференции. - Екатеринбург, 2018