Control-flow based testing of Prolog programs.

Gang Luo, Gregor von Bochmann, Behet Sarikaya, Michel Boyer

Browse the full ISSRE paper archive.