@article{articleb0bea7cc,
title   = {Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs},
author = {Souza, Simone do Rocio Senger de and Souza, Paulo Sérgio Lopes de and Brito, Maria A. S and Simão, Adenilso da Silva and Zaluska, E. J},
year = {2015},
doi = {10.1002/stvr.1568},
journal   = {Software testing, verification and reliability}
}