Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles | Publicación