Evaluating the TESTAR tool in an industrial case study | Publicación