Automated testcase generation for data abstraction. - Pankaj Jalote; Mallaku G. Caballero (COMPSAC, 1988)