Symbolic Execution to Detect Semantic Merge Conflicts.

Ward Muylaert Johannes Härtel Coen De Roover

Published in: SCAM (2023)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
reverse engineering
data flow
simulated annealing algorithm
database
database systems
test cases
orders of magnitude
domain independent