Pankaj Jalote, Mallaku G. Caballero. Automated testcase generation for data abstraction. In Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988. pages 205-210, IEEE, 1988. [doi]
Abstract is missing.