@mastersthesis{mastersthesisba4bbbe2,
title   = {Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs},
author = {Silva, Rodolfo Adamshuk and Souza, Simone do Rocio Senger de},
year = {2018},
school = {Universidade de São Paulo}
}