A test coverage notion for logic programming.

Fevzi Belli, Oliver Jack

Browse the full ISSRE paper archive.