Compositional CLP-Based Test Data Generation for Imperative Languages | Publicación