RID: Finding Reference Count Bugs with Inconsistent Path Pair Checking.

Junjie Mao Yu Chen Qixue Xiao Yuanchun Shi

Published in: ASPLOS (2016)

Keyphrases

shortest path
pairwise
source code
real world
artificial intelligence
e learning
information retrieval
aggregation functions