TY - BOOK AU - Paolo Arcaini TI - A novel use of equivalent mutants for static anomaly detection in software artifacts PY - 2017/// KW - Mutation Testing N1 - CJ0030 ER -