Testing Constraint Checking Implementations via Principled Metamorphic Transformations.

Mingchen Gao Huiyan Wang Chang Xu

Published in: SANER (2024)

Keyphrases

constraint checking
integrity constraints
deductive databases
distributed databases
federated databases
wireless networks
knowledge base
expert systems
relational databases