On the Generation of Test Data for Prolog by Partial Evaluation

Miguel Gómez-Zamalloa Elvira Albert Germán Puebla On the Generation of Test Data for Prolog by Partial Evaluation http://arxiv.org/abs/0903.2199 2009 CoRR abs/0903.2199 db/journals/corr/corr0903.html#abs-0903-2199 informal publication