Abstraction and mining of traces to explain concurrency bugs.

Mitra Tabaei Befrouei Chao Wang Georg Weissenbacher

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

Keyphrases

web mining
knowledge discovery
software systems
high level
concurrency control
data mining
database systems
data mining methods
mining algorithm
neural network
data abstraction
dynamic allocation
database
execution traces
sequential pattern mining
pattern mining
frequent itemsets
data mining techniques
source code