Measuring Coverage of Prolog Programs Using Mutation Testing.
Alexandros EfremidisJoshua SchmidtSebastian KringsPhilipp KörnerPublished in: WFLP (2018)
Keyphrases
- prolog programs
- mutation testing
- test suite
- logic programs
- test cases
- test sequences
- database applications
- regression testing
- test generation
- answer set programming
- finite state machines
- static analysis
- logic programming
- neural network
- integration testing
- black box
- semi supervised
- testing process
- hidden markov models
- video sequences