Machine checking is characterized by a precise dashed line, because although its boundary is clear, it is an optional activity.
Human checking is also optional, but it would be a strange test process indeed that didn't include at least some human checking.