@inproceedings{inproceedings5e39a4f9,
title   = {Using coverage and reachability testing to improve concurrent program testing quality},
author = {Souza, Simone do Rocio Senger de and Souza, Paulo Sérgio Lopes de and Machado, Mario Cesar da Cunha and Camillo, Mário Santos and Simão, Adenilso da Silva and Zaluska, Ed},
year = {2011},
publisher = {Knowledge Systems Institute Graduate School},
booktitle   = {International Conference on Software Engineering & Knowledge Engineering - SEKE}
}