Seuraa
Raphael Negrisoli Batista
Raphael Negrisoli Batista
Vahvistettu sähköpostiosoite verkkotunnuksessa icmc.usp.br
Nimike
Viittaukset
Viittaukset
Vuosi
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
192013
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
52016
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
42016
Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela
RN Batista
Universidade de São Paulo, 2015
22015
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–5