-
1Academic Journal
Συγγραφείς: 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
-
2Academic Journal
Συγγραφείς: 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
-
3Conference
Συγγραφείς: Андреева, Т. А., Andreyeva, T. A.
Θεματικοί όροι: AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ
Περιγραφή αρχείου: application/pdf
Relation: Наука. Информатизация. Технологии. Образование : материалы XI международной научно-практической конференции. - Екатеринбург, 2018
Διαθεσιμότητα: https://elar.uspu.ru/handle/ru-uspu/25446
-
4Conference
Συγγραφείς: Andreyeva, T. A.
Θεματικοί όροι: АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, AUTOMATED TEST GENERATION, ANALYSIS OF TEXTS IN A NATURAL LANGUAGE
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://elar.rsvpu.ru/handle/123456789/25446
-
5Academic Journal
Πηγή: Южно-Сибирский научный вестник.
Θεματικοί όροι: цвет и любая конфигурация вершин и горизонтальных дуг, визуальное (графическое, полиглот, математическое, интеллектуальное ,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
-
6Academic Journal
Συγγραφείς: Зорин, А.
Περιγραφή αρχείου: text/html
-
7Academic Journal
Συγγραφείς: Рудаков, Игорь, Ребриков, Александр
Θεματικοί όροι: ТЕСТИРОВАНИЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, ВЕРИФИКАЦИЯ, МАСШТАБИРОВАНИЕ АЛГОРИТМОВ
Περιγραφή αρχείου: text/html
-
8Academic Journal
Πηγή: Вестник Нижегородского университета им. Н.И. Лобачевского.
Περιγραφή αρχείου: text/html
-
9Academic Journal
Πηγή: Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия «Приборостроение».
Θεματικοί όροι: ТЕСТИРОВАНИЕ, АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ, ВЕРИФИКАЦИЯ, МАСШТАБИРОВАНИЕ АЛГОРИТМОВ, 0209 industrial biotechnology, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Περιγραφή αρχείου: text/html
-
10Academic Journal
Θεματικοί όροι: бинарные деревья, характеристические векторы, связные списки, структуры данных, автоматическая генерация тестов, хэш-таблицы, программируемая логика
Σύνδεσμος πρόσβασης: http://repository.kpi.kharkov.ua/handle/KhPI-Press/16620
-
11Electronic Resource
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