Semantic conflict detection via dynamic analysis. - Amanda Moraes; Paulo Borba; Léuson M. P. da Silva (SBLP, 2024)