Locating and Understanding Concurrency Bugs Based on Edge-labeled Communication Graphs (S).
He LiMengxiang LinTahir JameelZhenyuan JiangPublished 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