TY - RPRT TI - Detecting Semantic Conflicts with Unit Tests AU - Léuson Da Silva AU - Paulo Borba AU - Toni Maciel AU - Wardah Mahmood AU - Thorsten Berger AU - João Moisakis AU - Aldiberg Gomes AU - Vinícius Leite PY - 2023 DO - 10.1016/j.jss.2024.112070 UR - https://arxiv.org/abs/2310.02395 ID - 2310.02395 ER -