Symbolic Execution to Detect Semantic Merge Conflicts.

Ward Muylaert, Johannes Hrtel, Coen De Roover

Browse the full SCAM paper archive.