A New Dependence Test Based on Shape Analysis for Pointer-Based Codes | Publicación