GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method.
Shuochuan LiZan WangMingxu MaXiang ChenYingquan ZhaoHaichi WangHaoyu WangPublished in: Int. J. Softw. Informatics (2023)
Keyphrases
- detection method
- directed graph
- face detection
- random walk
- detection algorithm
- feature detection
- directed acyclic graph
- strongly connected
- source code
- undirected graph
- graph structure
- graph properties
- shortest path problem
- region detection
- detection accuracy
- maximum flow
- transition matrix
- disjoint paths
- web graph
- test set
- video sequences
- three dimensional
- computer vision