Measuring Coverage of Prolog Programs Using Mutation Testing.

Alexandros Efremidis Joshua Schmidt Sebastian Krings Philipp Körner

Published in: CoRR (2018)

Keyphrases

prolog programs
mutation testing
test suite
logic programs
test sequences
test cases
database applications
test generation
regression testing
finite state machines
static analysis
answer set programming
software testing
testing process
hidden markov models
databases
case study
knowledge base