Concepedia
Very Large Data Bases · 1993 · 13 citations · 0 references
ComputingComputer ScienceTest ConstructionConsistency ModelsConstraint RepresentationConstraint SatisfactionDesign For TestabilitySoftware TestingConsistencyConsistency CheckingConsistency TestingConstraint-based VerificationData ConsistencyData Consistency Analysis