UniFi

UniFi
Unifi

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).

UniFi	Unifi 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).