@mastersthesis{mastersthesisb324f7b5,
title   = {Formal mutation testing in Circus process algebra},
author = {Alberto, Alex D. B and Gauldel, Marie-Caude Antoinette Renée and Simão, Adenilso da Silva},
year = {2018},
school = {Universidade de São Paulo}
}