Automatic Dimension Inference and Checking for Object-Oriented Programs.
Sudheendra Hangal and Monica S. Lam
ICSE '09: Proceedings of the 31st International Conference on Software Engineering (ICSE), 2009. (PDF)

Screenshot         Software         FAQ         Blog to discuss UniFi

Overview UniFi is an automatic dimension inferencing system for Java programs. It uses type inference techniques to infer relationships between the dimensions of variables in a program. It then tries to find dimensionality errors automatically by comparing the inferred dimensions across different versions of a program (or two different programs that have something in common).