この資料をSMS送信: Program-based, structural testing of shared memory parallel programs