An empirical evaluation of the cost and effectiveness of structural testing criteria for concurrent programs
Maria A. S Brito (Maria Adelina Silva Brito) Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; International Conference on Computational Science - ICCS2013 (13. 2013 Barcelona, Spain)
Procedia Computer Science Amsterdam : Elsevier v. 18, p. 250\2013259, 2013
Data flow testing in concurrent programs with message passing and shared memory paradigms
Paulo Sérgio Lopes de Souza Simone do Rocio Senger de Souza; Murilo G Rocha (Murilo Giacometti Rocha); Rafael R Prado (Rafael Regis do Prado); Raphael N Batista (Raphael Negrisoli Batista); International Conference on Computational Science - ICCS2013 (13. 2013 Barcelona, Spain)
Procedia Computer Science Amsterdam : Elsevier v. 18, p. 149-158, 2013
A suite of Java message-passing benchmarks to support the validation of testing models, criteria and tools
George G. M Dourado (George Gabriel Mendes Dourado) Paulo Sérgio Lopes de Souza; Rafael R Prado (Rafael Regis do Prado); Raphael N Batista (Raphael Negrisoli Batista); Simone do Rocio Senger de Souza; Júlio Cezar Estrella; Sarita Mazzini Bruschi; João Lourenço (João Manuel dos Santos Lourenço); International Conference On Computational Science - ICCS 2016 (16. 2016 San Diego, California, U.S.A.)
Procedia Computer Science Amsterdam : Elsevier v. 80, p. 2226-2230, 2016