Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4) | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Лисица А. П.

Немытых А. П.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2007

Ключевые слова:

верификация

параметризация

тестирование

суперкомпилятор

Стр.:

С.22-34

Библиография:

Библиогр.: c.33-34

Источник:

Программирование

Номер:

1

Карточка:

Б3.54, Б2.23.

Лисица А. П., Немытых А. П..

Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4)// Программирование-2007, №1.-С.22-34
Библиогр.: c.33-34

Таблица в старой библиотеке:

PAP31 1