أرسل هذا في رسالة قصيرة: Protocol conformance testing using unique input/output sequences / Xiao Sun [and others].