A novel use of equivalent mutants for static anomaly detection in software artifacts | Publicación