ProFL: a fault localization framework for Prolog.

George Thompson, Allison K. Sullivan

Browse the full ISSTA paper archive.