Email Record: On the detectability of test sequences for protocol verification and validation /