Dependency-Aware Metamorphic Testing of Datalog Engines.

Muhammad Numair Mansur, Valentin Wstholz, Maria Christakis

Browse the full ISSTA paper archive.