Locating and Understanding Concurrency Bugs Based on Edge-labeled Communication Graphs (S).

He Li Mengxiang Lin Tahir Jameel Zhenyuan Jiang

Published in: SEKE (2013)

Keyphrases

weighted graph
undirected graph
labeled graphs
information sharing
communication cost
source code

graph matching
communication technologies
spanning tree
edge information
graph theory
communication networks

database
training data
database systems
graph theoretic
graph data
minimum spanning trees

transaction processing
graph structure
distributed databases
edge detection
email