TY  - RPRT
TI  - Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
AU  - Davide Molinelli
AU  - Alberto Martin-Lopez
AU  - Elliott Zackrone
AU  - Beyza Eken
AU  - Michael D. Ernst
AU  - Mauro Pezzè
PY  - 2025
UR  - https://arxiv.org/abs/2504.04251
ID  - 2504.04251
ER  -