@mastersthesis{mastersthesis2676649f,
title   = {Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela},
author = {Batista, Raphael Negrisoli and Souza, Paulo Sérgio Lopes de},
year = {2015},
school = {Universidade de São Paulo}
}