On the Generation of Test Data for Prolog by Partial Evaluation

@article{GmezZamalloa2009OnTG,
  title={On the Generation of Test Data for Prolog by Partial Evaluation},
  author={Miguel G{\'o}mez-Zamalloa and Elvira Albert and Germ{\'a}n Puebla},
  journal={CoRR},
  year={2009},
  volume={abs/0903.2199}
}
In recent work, we have proposed an approach to Test Data Generation (TDG) of imperative bytecode by partial evaluation (PE) of CLP which consists in two phases: (1) the bytecode program is first transformed into an equivalent CLP program by means of interpretive compilation by PE, (2) a second PE is performed in order to supervise the generation of test-cases by execution of the CLP decompiled program. The main advantages of TDG by PE include flexibility to handle new coverage criteria, the… CONTINUE READING