Elliott Zackrone

According to our database, Elliott Zackrone authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles.

Davide Molinelli, Alberto Martin-Lopez, Elliott Zackrone, Beyza Eken, Michael D. Ernst, Mauro Pezzè

Proc. ACM Softw. Eng., 2025