この資料をSMS送信: Generating test templates via automated theorem proving / by Mani Prasad Kancherla.