Deadlock detector and solver (DDS).

Published in: ICSE (Companion Volume) (2018)

Keyphrases

data sets
real world
machine learning
detection algorithm
constraint solving
support vector
search algorithm
search space
detection method
feature detectors
tree search
interest point detectors
pre trained
negative selection algorithm