И.Б.Бурдонов, А.С.Косачев.
Тестирование конформности на основе соответствия состояний.
Труды Института системного программирования РАН, N 18, 2010, стр.183-220.
38 стр.
doc
,
pdf
,
pdf_1