vix.ing · top · new · best · stats · spec

Molinelli, Davide

  1. Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
    2025/04/05 by Davide Molinelli, Alberto Martin-Lopez, Molinelli, Davide +9 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #Topic Modeling