Login / Signup
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