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