Applying Mutation Testing in Prolog Programs. - Juliano R. Toaldo; Silvia R. Vergilio (Res. Comput. Sci., 2005)