Automated testcase generation for data abstraction.

Pankaj Jalote Mallaku G. Caballero

Published in: COMPSAC (1988)

Keyphrases

data abstraction
database management
conceptual modelling
conceptual modeling
programming language
formal specification
object oriented databases
object oriented
abstract data types
databases
database
database design
knowledge base
artificial intelligence
data analysis
general purpose
information systems