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
182013
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, 581-590, 2016
32016
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
PSL Souza, RN Batista, SRS Souza, RR Prado, GGM Dourado, ...
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–5