Test Data Generation of Bytecode by CLP Partial Evaluation | Publicación