@article{articlede1256cf,
title   = {Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation},
author = {Melo, Silvana Morita and Souza, Simone do Rocio Senger de and Sarmanho, Felipe Santos and Souza, Paulo Sérgio Lopes de},
year = {2018},
doi = {10.1007/s11219-017-9376-4},
journal   = {Software Quality Journal}
}