Тестирование софта - статьи
Применение модельного подхода для автоматического тестирования оптимизирующих компиляторовВведение
Построение абстрактной модели
Подход к решению задачи проверки сохранения семантики программы во время работы оптимизатора
Создание генератора тестов
Запуск тестов
Практическое применение подхода
Области применимости подхода
Близкие работы
Заключение
Литература
Содержание раздела
