Text this: On the detectability of test sequences for protocol verification and validation /