ReP USP - Resultado da busca

Artigo de periodico
Critical conditions for the coverage of complete graphs with the frog model (2025)
Carvalho, Gustavo Oshiro de ; Machado, Fábio Prates
Source: Electronic Communications in Probability. Unidade: IME
Subjects: PROCESSOS ALEATÓRIOS, COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARVALHO, Gustavo Oshiro de e MACHADO, Fábio Prates. Critical conditions for the coverage of complete graphs with the frog model. Electronic Communications in Probability, v. 30, n. artigo 30, p. 1-13, 2025Tradução . . Disponível em: https://doi.org/10.1214/25-ECP678. Acesso em: 03 jan. 2026.
APA
Carvalho, G. O. de, & Machado, F. P. (2025). Critical conditions for the coverage of complete graphs with the frog model. Electronic Communications in Probability, 30( artigo 30), 1-13. doi:10.1214/25-ECP678
NLM
Carvalho GO de, Machado FP. Critical conditions for the coverage of complete graphs with the frog model [Internet]. Electronic Communications in Probability. 2025 ; 30( artigo 30): 1-13.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1214/25-ECP678
Vancouver
Carvalho GO de, Machado FP. Critical conditions for the coverage of complete graphs with the frog model [Internet]. Electronic Communications in Probability. 2025 ; 30( artigo 30): 1-13.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1214/25-ECP678
Trabalho de evento
ValiErlang: a structural testing tool for Erlang programs (2016)
Oliveira, Alexandre Ponce de; Souza, Paulo Sérgio Lopes de ; Souza, Simone do Rocio Senger de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Alexandre Ponce de e SOUZA, Paulo Sérgio Lopes de e SOUZA, Simone do Rocio Senger de. ValiErlang: a structural testing tool for Erlang programs. 2016, Anais.. New York, NY: ACM, 2016. Disponível em: https://doi.org/10.1016/j.infsof.2016.01.017. Acesso em: 03 jan. 2026.
APA
Oliveira, A. P. de, Souza, P. S. L. de, & Souza, S. do R. S. de. (2016). ValiErlang: a structural testing tool for Erlang programs. In Proceedings. New York, NY: ACM. doi:10.1016/j.infsof.2016.01.017
NLM
Oliveira AP de, Souza PSL de, Souza S do RS de. ValiErlang: a structural testing tool for Erlang programs [Internet]. Proceedings. 2016 ;[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.infsof.2016.01.017
Vancouver
Oliveira AP de, Souza PSL de, Souza S do RS de. ValiErlang: a structural testing tool for Erlang programs [Internet]. Proceedings. 2016 ;[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.infsof.2016.01.017
Trabalho de evento
Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases (2016)
Martins, Alexandre Locci; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: IME
Assunto: SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS, Alexandre Locci e MELO, Ana Cristina Vieira de. Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases. 2016, Anais.. New York: ACM, 2016. Disponível em: https://doi.org/10.1145/2993288.2993290. Acesso em: 03 jan. 2026.
APA
Martins, A. L., & Melo, A. C. V. de. (2016). Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases. In Proceedings. New York: ACM. doi:10.1145/2993288.2993290
NLM
Martins AL, Melo ACV de. Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases [Internet]. Proceedings. 2016 ;[citado 2026 jan. 03 ] Available from: https://doi.org/10.1145/2993288.2993290
Vancouver
Martins AL, Melo ACV de. Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases [Internet]. Proceedings. 2016 ;[citado 2026 jan. 03 ] Available from: https://doi.org/10.1145/2993288.2993290

USP Schools

ReP

Filtros

Authors