An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver.

Published in: SPLASH Companion (2023)

Keyphrases

upper bound
theoretical framework
information retrieval
social networks
search algorithm
worst case
simulated annealing
source code
main contribution
metaheuristic