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

Συγγραφείς: A. V. Misonizhnik, Yu. O. Kostyukov, M. P. Kostitsyn, D. A. Mordvinov, D. V. Koznov

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

Θεματικοί όροι: слабейшие предусловия, символьное исполнение, обратный символьный анализ, двунаправленный анализ, автоматическая генерация тестов, Information technology, T58.5-58.64

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/747bb1f0ad2f499580feb3fa307d2544

Test Readability Optimization in Context of Symbolic Execution

Συγγραφείς: I. A. Yakimov, A. S. Kuznetsov

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

Θεματικοί όροι: автоматическая генерация тестов, символьные вычисления, цена проверки тестов человеком, биграммная модель языка, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/cc092f389f344f35b2c26a6f16462f75

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

Συγγραφείς: Андреева, Т. А., Andreyeva, T. A.

Θεματικοί όροι: AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ

Θέμα γεωγραφικό: RU, RSVPU, РФ, РГППУ

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: https://elar.uspu.ru/handle/ru-uspu/25446

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

Συγγραφείς: Andreyeva, T. A.

Θεματικοί όροι: АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://elar.rsvpu.ru/handle/123456789/25446

New graphik programming concept

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

Θεματικοί όροι: цвет и любая конфигурация вершин и горизонтальных дуг, визуальное (графическое, полиглот, математическое, интеллектуальное ,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

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

Συγγραφείς: Зорин, А.

Θεματικοί όροι: ТЕСТИРОВАНИЕ ЗНАНИЙ СТУДЕНТОВ,АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ,ТЕОРИЯ ВЕРОЯТНОСТЕЙ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/avtomaticheskaya-generatsiya-testov-po-kursu-teorii-veroyatnostey
http://cyberleninka.ru/article_covers/15720083.png

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

Συγγραφείς: Рудаков, Игорь, Ребриков, Александр

Θεματικοί όροι: ТЕСТИРОВАНИЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, ВЕРИФИКАЦИЯ, МАСШТАБИРОВАНИЕ АЛГОРИТМОВ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/masshtabirovanie-algoritmov-dlya-avtomaticheskoy-generatsii-modulnyh-testov
http://cyberleninka.ru/article_covers/14258326.png

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

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

Θεματικοί όροι: ТЕСТИРОВАНИЕ ЗНАНИЙ СТУДЕНТОВ,АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ,ТЕОРИЯ ВЕРОЯТНОСТЕЙ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/avtomaticheskaya-generatsiya-testov-po-kursu-teorii-veroyatnostey
http://cyberleninka.ru/article_covers/15720083.png

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

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

Θεματικοί όροι: ТЕСТИРОВАНИЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, ВЕРИФИКАЦИЯ, МАСШТАБИРОВАНИЕ АЛГОРИТМОВ, 0209 industrial biotechnology, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14258326.png
http://cyberleninka.ru/article/n/masshtabirovanie-algoritmov-dlya-avtomaticheskoy-generatsii-modulnyh-testov

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

Θεματικοί όροι: бинарные деревья, характеристические векторы, связные списки, структуры данных, автоматическая генерация тестов, хэш-таблицы, программируемая логика

Σύνδεσμος πρόσβασης: http://repository.kpi.kharkov.ua/handle/KhPI-Press/16620

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

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

Συγγραφείς: Андреева, Т. А., Andreyeva, T. A.

Όροι ευρετηρίου: AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ, Conference Paper, info:eu-repo/semantics/conferenceObject, info:eu-repo/semantics/publishedVersion

Σύνδεσμος: Наука. Информатизация. Технологии. Образование : материалы XI международной научно-практической конференции. - Екатеринбург, 2018