أرسل هذا في رسالة قصيرة: Program-based, structural testing of shared memory parallel programs