Detecting semantic conflicts using static analysis

GS de Jesus, P Borba, R Bonifácio… - arXiv preprint arXiv …, 2023 - arxiv.org
Version control system tools empower developers to independently work on their
development tasks. These tools also facilitate the integration of changes through merging …

Symbolic Execution to Detect Semantic Merge Conflicts

W Muylaert, J Härtel… - 2023 IEEE 23rd …, 2023 - ieeexplore.ieee.org
Collaborative software development depends on managing multiple versions of a program
which requires mechanisms to merge program versions to eventually deploy a single …

Semistructured Merge with Language-Specific Syntactic Separators

G Cavalcanti, P Borba, L Anjos… - Proceedings of the 39th …, 2024 - dl.acm.org
Structured merge tools exploit programming language syntactic structure to enhance merge
accuracy by reducing spurious conflicts reported by unstructured tools. By creating and …

[PDF][PDF] Data Flow and Control Flow Analysis of Problematic Commits

W Muylaert - 2024 - soft.vub.ac.be
When creating and maintaining programs, software developers make use of version control
software to store different versions of the source code. Version control software uses …

Toward Better Understanding and Documentation of Rationale for Code Changes

KA Alsafwan - 2023 - vtechworks.lib.vt.edu
Software development is driven by the development team's decisions. Communicating the
rationale behind these decisions is essential for the projects success. Although the software …