Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs - Souza, Simone do Rocio Senger de; Souza, Paulo Sérgio Lopes de; Brito, Maria A. S; Simão, Adenilso da Silva; Zaluska, E. J (Software testing, verification and reliability, 2015)