发送短信: Learning symbolic abstractions from system execution traces