TY - RPRT TI - Measuring Coverage of Prolog Programs Using Mutation Testing AU - Alexandros Efremidis AU - Joshua Schmidt AU - Sebastian Krings AU - Philipp Körner PY - 2018 DO - 10.1007/978-3-030-16202-3_3 UR - https://arxiv.org/abs/1808.07725 ID - 1808.07725 ER -