この資料をSMS送信: Learning symbolic abstractions from system execution traces