Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. - Simone do Rócio Senger de Souza; Paulo Sergio Lopes de Souza; Mario C. C. Machado; Mário S. Camillo; Adenilso da Silva Simão; Ed Zaluska (SEKE, 2011)