index
И.Б.Бурдонов, А.С.Косачев.
Тестирование с преобразованием семантик.
Труды Института системного программирования РАН, N 17, 2009, стр.193-208.
16 стр.
doc, pdf, pdf_1