أرسل هذا في رسالة قصيرة: Learning symbolic abstractions from system execution traces