Использование аппарата динамических контрольных точек для тестирования программ методом поглощающих вершинстатья