Enhancing the quality of conceptual database specifications through validation

This publication has 7 references indexed in Scilit:

• Generating consistent test data: Restricting the search space by a generator formula
  The VLDB Journal, 1993
• Conceptual modelling of database applications using an extended ER model
  Data & Knowledge Engineering, 1992
• A proposed testing and analysis research initiative
  IEEE Software, 1992
• On the satisfiability of dependency constraints in entity-relationship schemata
  Information Systems, 1990
• Software verification and validation: an overview
  IEEE Software, 1989
• Semantic database modeling: survey, applications, and research issues
  ACM Computing Surveys, 1987
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976