| Data flow testing in concurrent programs with message passing and shared memory paradigms PSL Souza, SS Souza, MG Rocha, RR Prado, RN Batista Procedia Computer Science 18, 149-158, 2013 | 19 | 2013 |
| A suite of Java message-passing benchmarks to support the validation of testing models, criteria and tools GGM Dourado, PSL Souza, RR Prado, RN Batista, SRS Souza, ... Procedia Computer Science 80, 2226-2230, 2016 | 5 | 2016 |
| Valipar service: Structural testing of concurrent programs as a Web service composition RR Prado, PSL Souza, SRS Souza, GGM Dourado, RN Batista Information Technology: New Generations: 13th International Conference on …, 2016 | 4 | 2016 |
| Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela RN Batista Universidade de São Paulo, 2015 | 2 | 2015 |
| Trace Generation and Deterministic Execution for Concurrent Programs P Souza, R Batista, S Souza, R Prado, G Dourado, J Estrella Anais do XVII Simpósio em Sistemas Computacionais de Alto Desempenho, 157-168, 2016 | | 2016 |
