Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality.

Simone do Rcio Senger de Souza, Paulo Sergio Lopes de Souza, Mario C. C. Machado, Mrio S. Camillo, Adenilso da Silva Simo, Ed Zaluska

Browse the full SEKE paper archive.