Run-time error detection in arrays based on the data-dependency graph | IEEE Conference Publication | IEEE Xplore