Видео доклада "О чём я говорю, когда говорю о тестировании корректности работы компилятора"

В докладе рассказал про различные аспекты проблемы тестирования корректности компилятора, в том числе то, как генерировать случайные программы, какие тестовые оракулы использовать для определения того, правильно ли ведет себя компилятор, как эффективно выполнять тесты компилятора и эффективных методах тестированиях компиляторов на основе нашего опыта тестирования LuaJIT.

Материалы: cлайды, видеозапись.

Тезисы доклада на сайте конференции.

Теги: feedsoftware