How to test your concurrent software: an approach for the selection of testing techniques - Melo, Silvana Morita; Souza, Simone do Rocio Senger de; Souza, Paulo Sérgio Lopes de; Carver, Jeffrey C. (Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH, 2017)