Dependency-Aware Metamorphic Testing of Datalog Engines.

Muhammad Numair Mansur Valentin Wüstholz Maria Christakis

Published in: ISSTA (2023)

Keyphrases

expressive power
deductive databases
query answering
query language
logic programming
transitive closure
datalog programs
statistical tests
data sets
neural network
machine learning
information retrieval
test set
test generation
database languages