A slicing-based approach for locating type errors (0)

by F Tip, T B Dinesh
Venue:ACM Trans. Softw. Eng. Methodol