The Study of the Sequential Inclusion of Paths in the Analysis of Program Code for the Task of Selecting Input Test Data (Extended Abstract) : доклад, тезисы доклададоклад, тезисы доклада, статья из сборника материалов конференций
Похожие публикации
DEVELOPMENT OF DATA CONVERSION SOFTWARE CODE?FOR INTERACTION WITH THE ALARM EMULATOR? : доклад, тезисы доклада
- Alemasov D.V. и др.
- 2020 год
Применение генетического алгоритма для генерации входных данных при тестировании… : доклад, тезисы доклада
- Сердюков К.Е. и др.
- 2019 год
Automatic Data Generation for Software Testing Based on the Genetic Algorithm : доклад, тезисы доклада
- Serdyukov Konstantin S. и др.
- 2018 год
ИССЛЕДОВАНИЕ МЕТОДОВ ОПРЕДЕЛЕНИЯ СЛОЖНОСТИ КОДА ПРИ ФОРМИРОВАНИИ НАБОРОВ ВХОДНЫХ ТЕСТОВЫХ ДАННЫХ : научное издание
- Сердюков Константин Евгеньевич и др.
- 2019 год
ГИБРИДНЫЙ ПОДХОД К АВТОМАТИЗАЦИИ МОДУЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММ НА ЯЗЫКЕ СИ : статья из журнала
- Якимов И.А. и др.
- 2016 год
Оптимизация графов потока управления в промежуточных представлениях языка функционально-потокового… : научное издание
- Васильев Владимир Сергеевич и др.
- 2020 год
Оптимизация инварианта цикла в языке Пифагор : научное издание
- Васильев Владимир Сергеевич и др.
- 2018 год
МЕТОД ПРЕОБРАЗОВАНИЯ СЕМАНТИЧЕСКОЙ СЕТИ ДЛЯ АВТОМАТИЗАЦИИ ОЦЕНИВАНИЯ РЕШЕНИЯ ЗАДАЧ ПО… : научное издание
- Федоров Александр Сергеевич и др.
- 2020 год
Automation of Formal Verification of Programs in the Pifagor Language : научное издание
- Ushakova Maria Sergeevna и др.
- 2015 год
