ValiPar service structural testing of concurrent programs as a web service composition
Rafael R Prado (Rafael Regis do Prado) Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; George G. M Dourado (George Gabriel Mendes Dourado); Raphael N Batista (Raphael Negrisoli Batista); International Conference on Information Technology : New Generations - ITNG 2016 (13. 2016 Las Vegas, Nevada, USA)
Information Technology: New Generations Cham, SZ : Springer, 2016
Extracting static and dynamic structural information from java concurrent programs for coverage testing
Rafael R Prado (Rafael Regis do Prado) Paulo Sérgio Lopes de Souza; George G. M Dourado (George Gabriel Mendes Dourado); Simone do Rocio Senger de Souza; Júlio Cezar Estrella; Sarita Mazzini Bruschi; João Lourenço (João Manuel dos Santos Lourenço); Latin American Computing Conference - CLEI 2015 (41st. 2015 Arequipa, Perú)
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