Enviar aquest missatge de text: Learning symbolic abstractions from system execution traces