Debug-localize-repair: a symbiotic construction for heap manipulations.

Sahil Verma Subhajit Roy

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

data structure
decision trees
general purpose
suffix tree
parallel programming
data sets
neural network
data mining
information retrieval
genetic algorithm
artificial intelligence
multimedia
three dimensional
construction process