Automated testcase generation for data abstraction.

Pankaj Jalote, Mallaku G. Caballero

Browse the full COMPSAC paper archive.