@mastersthesis{mastersthesise9bf5ade, title = {Evidências sobre o uso de técnicas de geração automática de dados de teste em programas concorrentes}, author = {Vilela, Ricardo Ferreira and Souza, Simone do Rocio Senger de}, year = {2016}, school = {Universidade de São Paulo} }