Confirmation of deadlock potentials detected by runtime analysis.

Saddek Bensalem Jean-Claude Fernandez Klaus Havelund Laurent Mounier

Published in: PADTAD (2006)

Keyphrases

data sets
pattern recognition
data analysis
higher order
statistical analysis
data mining
social networks
special case