Metamorphic testing of Datalog engines.

Muhammad Numair Mansur Maria Christakis Valentin Wüstholz

Published in: ESEC/SIGSOFT FSE (2021)

Keyphrases

expressive power
query answering
query language
logic programming
database systems
deductive databases
real world
case study
transitive closure
databases
machine learning
test set
software testing